Mathematics – Publications
/publications
Just another wordpress.wolfram.com siteTue, 08 Oct 2024 21:54:11 +0000en-UShourly1https://wordpress.org/?v=4.7.2Nestedly Recursive Functions
/publications/2024/09/27/nestedly-recursive-functions/
/publications/2024/09/27/nestedly-recursive-functions/#respondFri, 27 Sep 2024 18:00:57 +0000/publications/?p=3793/publications/2024/09/27/nestedly-recursive-functions/feed/0Can AI Solve Science?
/publications/2024/03/05/can-ai-solve-science/
/publications/2024/03/05/can-ai-solve-science/#respondTue, 05 Mar 2024 13:30:40 +0000/publications/?p=3754/publications/2024/03/05/can-ai-solve-science/feed/0“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/0