query: What form of formalist am I?
positive_passages.docid: 34525
positive_passages.text: Was mathematics invented or discovered?
negative_passages.docid: 38092
negative_passages.text: Symbol for "defined to be logically equivalent" (:⇔)
negative_passages.docid: 125117
negative_passages.text: What is the type of variable?
negative_passages.docid: 87646
negative_passages.text: How to avoid explicit 'self' in Python?
negative_passages.docid: 81801
negative_passages.text: What type of grammar construction is this
negative_passages.docid: 10077
negative_passages.text: Learn QM algebraic formulations and interpretations
negative_passages.docid: 30084
negative_passages.text: Should I write "X and I", "X and me", "I and X", or "me and X" in a conjoined object?
negative_passages.docid: 28281
negative_passages.text: Different standards for writing down logical quantifiers in a formal way
negative_passages.docid: 25213
negative_passages.text: Analysing the "kind(s) of problem(s) are [ones]/[to be]" construction
negative_passages.docid: 148571
negative_passages.text: Simplify function notation
negative_passages.docid: 116099
negative_passages.text: "me [gerund]" or "my [gerund]" at the beginning of sentences?
negative_passages.docid: 35630
negative_passages.text: Proof for formal languages
negative_passages.docid: 33164
negative_passages.text: Formal basis for variable substitution in limits
negative_passages.docid: 29167
negative_passages.text: How do I get the type of a value in Scheme?
negative_passages.docid: 156781
negative_passages.text: Should I write $i$ before or after the imaginary part?
negative_passages.docid: 69957
negative_passages.text: When is "self" required?
negative_passages.docid: 149464
negative_passages.text: Question about translating English to first order logic?