(AMS Bumper Sticker)



Web math-frolic.blogspot.com

Wednesday, October 5, 2011

"Paraconsistent Mathematics"

As a bit of followup to yesterday's post I just discovered this couple-month-old article from plus.maths.org on "paraconsistent mathematics," which addresses the sort of 'truth' issues of statements raised yesterday, and allows for certain 'logical' contradictions:

http://plus.maths.org/content/not-carrot

No comments: