John-Michael KuczynskiJan 71 min readCan math be derived from logic?No it cannot. A system of logic is a recursively defined class of statements, and there is no recursive definition of the statements any given branch of mathematics, including mathematical logic itself, let alone of all of logic.0 views0 commentsPost not marked as liked
No it cannot. A system of logic is a recursively defined class of statements, and there is no recursive definition of the statements any given branch of mathematics, including mathematical logic itself, let alone of all of logic.