Timeline for Where are we working when we prove metamathematical theorems?
Current License: CC BY-SA 2.5
5 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Jan 16, 2010 at 17:38 | comment | added | François G. Dorais | It's a good question, but difficult to answer as I illustrated. I guess the main point to retain is that "meta" usually means the first type, where the requirements are essentially just basic arithmetic. This is not always how things are actually done, but there is often a (somewhat impractical) way to do it using just basic arithmetic, as illustrated by the forcing example. | |
Jan 16, 2010 at 5:30 | comment | added | Zev Chonoles | Thanks for your thorough response! I'm afraid my knowledge of logic and set theory was just barely enough to ask a good question, but unfortunately is not yet at the point where I can fully understand your answer :) I'll hit the books (and Wikipedia) and hopefully I will soon be able to appreciate it. | |
Jan 15, 2010 at 3:43 | vote | accept | Zev Chonoles | ||
Jan 14, 2010 at 16:00 | history | edited | François G. Dorais | CC BY-SA 2.5 |
typos and other fuss
|
Jan 14, 2010 at 14:50 | history | answered | François G. Dorais | CC BY-SA 2.5 |