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:
Post a Comment