Astronomy, Geometry, and Logic, Rev. 1c: An ontological proof of the natural principles that enable and sustain reality and mathematics

Abstract

The latest draft (posted 05/14/22) of this short, concise work of proof, theory, and metatheory provides summary meta-proofs and verification of the work and results presented in the Theory and Metatheory of Atemporal Primacy and Riemann, Metatheory, and Proof. In this version, several new and revised definitions of terms were added to subsection SS.1; and many corrected equations, theorems, metatheorems, proofs, and explanations are included in the main text. The body of the text is approximately 18 pages, with 3 sections; 1, an Introduction (with a 108 page listing of key terms & definitions), sect. 2, the Results, sect. 3, Discussion (commentary & predictions), and sect. 4, Works Cited. As much as possible, the style is intended for readability and understanding by very bright children (with some interest & knowledge of maths, etc.) and very interested nonprofessionals. The results of this project also enable upgrades of number theory, set theory, proof theory, metamathematics, the foundations of science, and quantum mechanics theory (etc.).

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Similar books and articles

The Modal Multilogic of Geometry.Philippe Balbiani - 1998 - Journal of Applied Non-Classical Logics 8 (3):259-281.
Essays on the foundations of mathematics.Moritz Pasch - 2010 - New York: Springer. Edited by Stephen Pollard.
Proof Analysis: A Contribution to Hilbert's Last Problem.Sara Negri & Jan von Plato - 2011 - Cambridge and New York: Cambridge University Press. Edited by Jan Von Plato.
Sheaf Representations and Duality in Logic.Steve Awodey - 2021 - In Claudia Casadio & Philip J. Scott (eds.), Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics. Springer Verlag. pp. 39-57.
The Philosophical Status of Diagrams.Mark Greaves - 2001 - Center for the Study of Language and Inf.
Sequent reconstruction in LLM—A sweepline proof.R. Banach - 1995 - Annals of Pure and Applied Logic 73 (3):277-295.
El "giro morfológico": la forma, condición del sentido.Fernando Herranz - 2006 - Quaderns De Filosofia I Ciència 36:61-72.
Proof theory of classical and intuitionistic logic.Jan von Plato - 2009 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.

Analytics

Added to PP
2022-05-14

Downloads
458 (#40,397)

6 months
181 (#14,913)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references