I'm reading up on Gödels constructible universe L in the book "Constructibility" by Devlin, and by comparing his text with texts like Kunen and Jech, there is one thing in particular that he's doing ...
This question may seem silly, beyond the capacity of human thought, senseless, etc. but I nevertheless think that it is worth musing over: is mathematics itself finite? As I understand, mathematics is ...
While reading appendix A of John Harrison's "Handbook of Practical Logic and Automated Reasoning" a somewhat advanced theorem is appealed to as a prerequisite for characterizing when an inductive ...
I was wondering if it is possible to define exactly what a non-constructive (nc) proof is. I have often seen the concept associated with the use of principles such as the axiom of choice or the law of ...
I believe this is more of a philosophical question. Given a consistent theory T and a statement S independent of T. Can S be true or false in T? (I don't see any contradiction with that) I read that ...
I've heard about mathematicians who defend a strictly finite conception of mathematics, with no room for infinity. I wonder, how is it possible for these people to do this? Are there any concepts that ...
I am reading historical/philosophical stuff on the concept of "metamathematics" and am by now quite confused. Several questions emerged, but they are probably somehow confused and interrelated, I ...
I was wondering if there is a good way to "define" what definition means exactly in mathematics. Since the answers may be subjective or philosophical, I want to ask only for references on this topic. ...
YARFMO (Yet another reposting from Mathoverflow) ;-) The more you know about math the more you find conceptions previously thought correct to be false: 1.) math is not as exact as many believe - in ...
I apologize for posting such an untechnical question, but with responses it could surely be posed in a better form. I'm a math noob, but I've seen (as we all have) a few examples of "connections" ...