3,797 reputation
922
bio website dcproof.com
location Canada
age
visits member for 3 years, 9 months
seen 4 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.


5h
comment Multiple barber paradox
In the scenario of two barbers x and y, I think you will find that no such contradictions can be obtained. If you have only one barber, you can always obtain a contradiction. BTW, to use Latex here, you have to enclose your string in $-signs.
1d
revised Multiple barber paradox
added 9 characters in body
1d
revised Multiple barber paradox
rolled back to a previous revision
1d
revised Multiple barber paradox
deleted 15 characters in body
1d
revised Multiple barber paradox
deleted 5 characters in body
1d
revised Multiple barber paradox
deleted 26 characters in body
1d
revised Multiple barber paradox
added 6 characters in body
1d
revised Multiple barber paradox
added 27 characters in body
1d
revised Multiple barber paradox
deleted 41 characters in body
1d
revised Multiple barber paradox
deleted 41 characters in body
1d
revised Multiple barber paradox
added 2 characters in body
1d
revised Multiple barber paradox
deleted 214 characters in body
1d
revised Multiple barber paradox
deleted 214 characters in body
1d
revised Multiple barber paradox
added 351 characters in body
1d
answered Multiple barber paradox
2d
answered Show that $0=+0=-0$
Aug
22
comment What is the name of this property of relation?
You could also use $aRb \implies bRa$.
Aug
22
revised Analyzing the logical form of “All married couples fight”
deleted 20 characters in body
Aug
22
revised Analyzing the logical form of “All married couples fight”
added 19 characters in body
Aug
22
revised Analyzing the logical form of “All married couples fight”
added 1 character in body