Back to Results
First PageMeta Content
Ordinal numbers / Computability theory / Proof theory / Theory of computation / Ordinal notation / Recursively enumerable set / Reverse mathematics / Enumeration / Continuum hypothesis / Mathematical logic / Mathematics / Logic


Incompleteness versus a Platonic multiverse Paul Budnik Mountain Math Software [removed] c 2013 Mountain Math Software
Add to Reading List

Document Date: 2013-06-12 13:25:59

Open Document

File Size: 225,50 KB

Share Result on Facebook

Company

Princeton University Press / Paul Budnik Mountain Math Software / /

/

IndustryTerm

formal systems / /

Organization

Princeton University / American Mathematical Society / /

Person

Joel David Hamkins / Axiomatic / Carl Jung / Carl Gustav Jung / Harvey M. Friedman / /

Position

editor / /

ProvinceOrState

New Jersey / /

PublishedMedium

Annals of Mathematics / /

URL

www.mtnmath.com/axioms / www.mtnmath.com / /

SocialTag