Understanding of logic, mathematics and computation
Ontological understanding of logic, mathematics and computation as generative history from 19-21 century is basis for creating additional value to the world: we can find sequential definition of discrete mathematics by Cantor, Frege, Hilbert, Russell, ZFC set theory, Goedel, Turing Machine. Mathematics meets physics by computational application in nuclear physics:Plank, Einstein,Shannon. Eventually connected to recent distributed computation, interactive proof system, probablistic checkable proof, Bounded-error Quantum Polynomial time(BQP class) : Voevodsky, Avi, and higher categoric systemization of mathematics: Lurie.
Georg Cantor(1874): Ueber eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen.
(On a property of the class of all real algebraic numbers)Journal für die Reine und Angewandte Mathematik
https://jamesrmeyer.com/pdfs/cantor-1874-ueber-eine-eigenschaft-des-inbegriffes.pdf
Gottlob Frege(1879), Begriflsschriit, a formula language, modeled uponthat of arithmetic, for pure thought
https://logic-teaching.github.io/pred/texts/Frege%201967%20-%20Begriffsschrift.pdf
David Hilbert(1900) Mathematical ProblemsLecture delivered before the International Congress of
Mathematicians at Paris
https://www.aemea.org/math/Hilbert_23_Mathematical_Problems_1900.pdf
Max Plank(1900) Ueber eine Verbesserung der Wien’schen Spectralgleichung
https://www.ub.edu/hcub/hfq/sites/default/files/1900_Planck_VPG.pdf
Bertrand Russell(1903) Principles of Mathematics
https://www.finophd.eu/wp-content/uploads/2018/11/Russell-Principles-of-Mathematics.pdf
Albert Einstein(1905)Über einen die Erzeugung und Verwandlung des Lichtes betreffenden heuristischen Gesichtspunkt
https://onlinelibrary.wiley.com/doi/epdf/10.1002/andp.19053220607
Zermelo–Fraenkel set theory(1922)
https://user.math.uzh.ch/halbeisen/publications/pdf/brussels.pdf
Kurt G ̈odel̈(1931)UBER FORMAL UNENTSCHEIDBARE S ̈ATZE DER “PRINCIPIA MATHEMATICA” UND VERWANDTER SYSTEME I
https://www.w-k-essler.de/pdfs/goedel.pdf
Alan Turing(1936) ON COMPUTABLE NUMBERS, WITH AN APPLICATION TO THE ENTSCHEIDUNGSPROBLEM
https://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf
J. R. OPPENHEIMER AND H. SNYDER(1939)On Continued Gravitational Contraction
https://the-center-of-gravity.com/documents/140/Oppenheimer-Snyder_On-continued-Gravitational-Contraction.pdf
Jon Von Neumann(1945) First draft of a report on the EDVAC
https://web.mit.edu/sts.035/www/PDFs/edvac.pdf
Claude Shannon(1948) A Mathematical Theory of Communication）
https://people.math.harvard.edu/~ctm/home/text/others/shannon/entropy/entropy.pdf
Vladimir Voevodsky(2013) Homotopy Type Theory
https://www.cs.uoregon.edu/research/summerschool/summer14/rwh_notes/hott-book.pdf
Jacob Lurie(2017) Higher Topos Theory
https://www.math.ias.edu/~lurie/papers/HTT.pdf
Avi Wigderson(2019) Mathematics and Computation
https://www.math.ias.edu/files/Book-online-Aug0619.pdf