Mathematics – Publications
/publications
Just another wordpress.wolfram.com siteTue, 23 May 2023 19:04:29 +0000en-UShourly1https://wordpress.org/?v=4.7.2“Practical and Theoretical Applications of Finite Models in the Foundations of Math” with the Australasian Association for Logic
/publications/2022/11/13/practical-and-theoretical-applications-of-finite-models-in-the-foundations-of-math-with-australasian-association-for-logic/
/publications/2022/11/13/practical-and-theoretical-applications-of-finite-models-in-the-foundations-of-math-with-australasian-association-for-logic/#respondSun, 13 Nov 2022 18:00:47 +0000/publications/?p=3611/publications/2022/11/13/practical-and-theoretical-applications-of-finite-models-in-the-foundations-of-math-with-australasian-association-for-logic/feed/0“Theorem Proving in Metamathematics, the Universe and More” at AITP 2022
/publications/2022/09/09/theorem-proving-in-metamathematics-the-universe-and-more-at-aitp-2022/
/publications/2022/09/09/theorem-proving-in-metamathematics-the-universe-and-more-at-aitp-2022/#respondFri, 09 Sep 2022 18:15:28 +0000/publications/?p=3613/publications/2022/09/09/theorem-proving-in-metamathematics-the-universe-and-more-at-aitp-2022/feed/0Keynote at Laws of Form Conference 2022
/publications/2022/08/05/keynote-at-laws-of-form-conference-2022/
/publications/2022/08/05/keynote-at-laws-of-form-conference-2022/#respondFri, 05 Aug 2022 18:18:34 +0000/publications/?p=3615/publications/2022/08/05/keynote-at-laws-of-form-conference-2022/feed/0“Mathematics, Computation, and Nature” at Numbers and Nature 2022
/publications/2022/06/02/lecture-at-numbers-and-nature-2022-mathematics-computation-and-nature/
/publications/2022/06/02/lecture-at-numbers-and-nature-2022-mathematics-computation-and-nature/#respondThu, 02 Jun 2022 20:18:25 +0000/publications/?p=3619/publications/2022/06/02/lecture-at-numbers-and-nature-2022-mathematics-computation-and-nature/feed/0The Physicalization of Metamathematics and Its Implications for the Foundations of Mathematics
/publications/2022/03/08/the-physicalization-of-metamathematics-and-its-implications-for-the-foundations-of-mathematics/
/publications/2022/03/08/the-physicalization-of-metamathematics-and-its-implications-for-the-foundations-of-mathematics/#respondTue, 08 Mar 2022 00:29:20 +0000/publications/?p=3295/publications/2022/03/08/the-physicalization-of-metamathematics-and-its-implications-for-the-foundations-of-mathematics/feed/0“How Features of Our Consciousness Seem to Define Our Laws of Physics” at the Mathematical Consciousness Science Seminar
/publications/2022/01/17/how-features-of-our-consciousness-seem-to-define-our-laws-of-physics-at-mathematical-consciousness-science-seminar/
/publications/2022/01/17/how-features-of-our-consciousness-seem-to-define-our-laws-of-physics-at-mathematical-consciousness-science-seminar/#respondMon, 17 Jan 2022 21:37:54 +0000/publications/?p=3625/publications/2022/01/17/how-features-of-our-consciousness-seem-to-define-our-laws-of-physics-at-mathematical-consciousness-science-seminar/feed/0The Concept of the Ruliad
/publications/2021/11/10/the-concept-of-the-ruliad/
/publications/2021/11/10/the-concept-of-the-ruliad/#respondWed, 10 Nov 2021 05:31:07 +0000/publications/?p=3285/publications/2021/11/10/the-concept-of-the-ruliad/feed/0Multicomputation with Numbers: The Case of Simple Multiway Systems
/publications/2021/10/07/multicomputation-with-numbers-the-case-of-simple-multiway-systems/
/publications/2021/10/07/multicomputation-with-numbers-the-case-of-simple-multiway-systems/#respondThu, 07 Oct 2021 23:21:04 +0000/publications/?p=3279/publications/2021/10/07/multicomputation-with-numbers-the-case-of-simple-multiway-systems/feed/0Multicomputation: A Fourth Paradigm for Theoretical Science
/publications/2021/09/09/even-beyond-physics-introducing-multicomputation-as-a-fourth-general-paradigm-for-theoretical-science/
/publications/2021/09/09/even-beyond-physics-introducing-multicomputation-as-a-fourth-general-paradigm-for-theoretical-science/#respondThu, 09 Sep 2021 22:25:52 +0000/publications/?p=3272/publications/2021/09/09/even-beyond-physics-introducing-multicomputation-as-a-fourth-general-paradigm-for-theoretical-science/feed/01920, 2020 and a $20,000 Prize: Announcing the S Combinator Challenge
/publications/2021/06/08/1920-2020-and-a-20000-prize-announcing-the-s-combinator-challenge/
/publications/2021/06/08/1920-2020-and-a-20000-prize-announcing-the-s-combinator-challenge/#respondTue, 08 Jun 2021 18:23:39 +0000/publications/?p=3262/publications/2021/06/08/1920-2020-and-a-20000-prize-announcing-the-s-combinator-challenge/feed/0