Less Wrong is a community blog devoted to refining the art of human rationality. Please visit our About page for more information.

NG comments on Trust in Math - Less Wrong

14 Post author: Eliezer_Yudkowsky 15 January 2008 04:25AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (50)

Sort By: Old

You are viewing a single comment's thread.

Comment author: NG 15 January 2008 12:37:29PM 0 points [-]

Ben, most mathematical systems are not internally consistent. Things like "true" and "false" should be avoided when talking about theorems, "Provable in system X" is better. So only if the real world can be described with really simple math are it's laws internally consistent.

Comment author: pnrjulius 12 June 2012 02:11:43AM 0 points [-]

It seems perverse to call the Fundamental Theorem of Calculus anything less than true.