4,002 reputation
924
bio website dcproof.com
location Canada
age
visits member for 3 years, 11 months
seen 11 hours ago

An amateur mathematician, I have developed DC Proof, an educational software program to introduce students to the basic methods of proof. In the style of most mathematics textbooks at the undergraduate level, its simplified rules of logic and set theory are loosely based on standard FOL and ZFC. For more information, a video demo and free download, visit my website. Also visit my math blog.


19h
revised Question About Notation Nested Quantifiers.
added 352 characters in body
20h
answered Question About Notation Nested Quantifiers.
21h
comment High school geometry proofs and first order logic?
High school geometry is probably essential for developing a spatial sense. If you ever try to truly formalize geometry as taught in high school or even a "manageable" subset of it, you will soon discover the myriad details grossed over in textbooks. And that's not necessarily a bad thing. IMHO, formal logic and set theory (suitably simplified) would be a better way to introduce high school students to mathematical proofs. Of course, care must be taken in selecting relatively simple examples and exercises.
Oct
20
comment A formalization of the soft sciences
I don't think you can formalize causal relationships in mathematics or logic, so I doubt that you can formalize them in any science including physics. The ancient Greek philosophers thought that you could do physics purely by introspection (on paper) -- with quite laughable results -- but we now know that data from physical experiments are indispensable.
Oct
20
answered The truth table shows the following statement is a tautology, but it doesn't make sense.
Oct
17
comment Building logical connectives only with $\neg$ and $\to$
You can reduce it to only one connective, the so-called NAND-operator. See en.wikipedia.org/wiki/Sheffer_stroke
Oct
17
comment How can we explain the discrepancy between $\rightarrow$ (IF-THEN) and $\setminus$ (A-BUT-NOT-B)?
Why would you need an operator that is just the negation of implication?
Oct
17
comment How can we explain the discrepancy between $\rightarrow$ (IF-THEN) and $\setminus$ (A-BUT-NOT-B)?
Neither this operator nor any equivalent is listed in "List of Logic Symbols" at en.wikipedia.org/wiki/List_of_logic_symbols Could it be merely a quirk of one particular presentation or subspecialty?
Oct
17
answered Two ships leaving a port at different times and different speeds. When do they meet?
Oct
17
comment Discrete Mathematics -Propositional Logic
Did you find my hint helpful?
Oct
17
comment Why wouldn't someone accept Gentzen's consistency proof?
If PA are inconsistent, then all sets must be Dedekind-finite.
Oct
16
revised How can I prove that (B and (A implies B)) is equivalent to B?
added 343 characters in body
Oct
16
answered How can I prove that (B and (A implies B)) is equivalent to B?
Oct
16
answered Deduce $ \forall x P(x) \vdash \exists xP(x) $
Oct
16
answered Proving tautology
Oct
16
answered Discrete Mathematics -Propositional Logic
Oct
15
answered How to prove that if m and n are natural numbers than m+n is also a natural number?
Oct
15
answered What is $\{v_0:(\lnot(v_0=v_0))\}$?
Oct
15
revised What is a “formal definition” of a set?
added 83 characters in body
Oct
15
revised What is a “formal definition” of a set?
edited body