Comment on Supernatural Math

Tue, 19 May 2009 20:11:14 GMT

Until the time of writing this comment, I did believe that there would be a meta-logic that governs the math or logic that "can exist". However, I concede that such a statement requires proof and I do not have enough (read: any) background in logic to know if such a proof is forthcoming.

This is the question: if there were two physical universes realizing two distinct sets of mathematical ideas such that at least one mathematical idea is realized in one set and not the other, then would mathematics still provide a meta-framework for both sets of mathematical ideas?

More succinctly: Given any two models, can you always find a meta-model that includes them both? Or maybe it can be proven that this is unprovable within a given model?

A logician's input on this would be helpful.

Discuss