FOM Digest, Vol 231, Issue 11

[Stephen Wolfram]

> On Mar 12, 2022, at 12:00 PM, fom-request at cs.nyu.edu wrote:
> 
> Send FOM mailing list submissions to
> 	fom at cs.nyu.edu
> 
> To subscribe or unsubscribe via the World Wide Web, visit
> 	https://cs.nyu.edu/mailman/listinfo/fom
> or, via email, send a message with subject or body 'help' to
> 	fom-request at cs.nyu.edu
> 
> You can reach the person managing the list at
> 	fom-owner at cs.nyu.edu
> 
> When replying, please edit your Subject line so it is more specific
> than "Re: Contents of FOM digest..."
> 
> 
> Today's Topics:
> 
>   1. Re: the physicalization of metamathematics (Monroe Eskew)
>   2. Open Position: Assistant Professor in Logic for AI
>      (Fixed-term, three years), Milan (gprimiero at libero.it)
> 
> 
> ----------------------------------------------------------------------
> 
> Message: 1
> Date: Thu, 10 Mar 2022 07:43:12 +0100
> From: Monroe Eskew <monroe.eskew at univie.ac.at>
> To: FOM <fom at cs.nyu.edu>
> Subject: Re: the physicalization of metamathematics
> Message-ID: <40E40648-9C63-4D05-BBB7-511AAC4E7570 at univie.ac.at>
> Content-Type: text/plain; charset=utf-8
> 
> It sounds like this is a viewpoint that takes mathematics as a physical phenomenon and attempts to characterize what large-scale behavior mathematicians will exhibit. Does it make testable predictions?

Rather amazingly, yes.


> 
> 
>> On 09.03.2022, at 00:33, Stephen Wolfram <s.wolfram at wolfram.com> wrote:
>> 
>> ?I just posted something I think may be of interest to FOM subscribers: 
>> https://writings.stephenwolfram.com/2022/03/the-physicalization-of-metamathematics-and-its-implications-for-the-foundations-of-mathematics
>> 
>> It?s a (rather unexpected, at least to me) outgrowth of our recent (and very active) Physics Project https://www.wolframphysics.org/
>> 
>> Here?s an abstract:
>> -----
>> Both metamathematics and physics are posited to emerge from samplings by observers of the unique ruliad structure that corresponds to the entangled limit of all possible computations. The possibility of higher-level mathematics accessible to humans is posited to be the analog for mathematical observers of the perception of physical space for physical observers. A physicalized analysis is given of the bulk limit of traditional axiomatic approaches to the foundations of mathematics, together with explicit empirical metamathematics of some examples of formalized mathematics. General physicalized laws of mathematics are discussed, associated with concepts such as metamathematical motion, inevitable dualities, proof topology and metamathematical singularities. It is argued that mathematics as currently practiced can be viewed as derived from the ruliad in a direct Platonic fashion analogous to our experience of the physical world, and that axiomatic formulation, while often con!
> venient, 
> does not capture the ultimate character of mathematics. Among the implications of this view is that only certain collections of axioms may be consistent with inevitable features of human mathematical observers. A discussion is included of historical and philosophical connections, as well as of foundational implications for the future of mathematics.
>> -----
>> 
>> I?m not sure if others will care about it ... but I at least am very excited about what we?ve figured out ... not least because it changes my mind about things I?ve long assumed about the nature and foundations of mathematics.
>> 
>> Even though what I?ve written is quite long (~200 pages) I consider it just a very beginning, with a great many loose ends, missing technical details, inadequate levels of precision, etc.  I?m looking forward to others improving and developing it. 
>> 
>> This is an open science project.  All images in the writeup are clickable and give Wolfram Language code immediately runnable on the desktop or the cloud.  The working notebooks from the project (including all their missteps) are available at https://www.wolframphysics.org/archives/index/.  I?ve been livestreaming working sessions about the project https://livestreams.stephenwolfram.com/ (as well as posting a great many hours of video work logs).  
>> 
>> --- Stephen Wolfram
> 
> 
> ------------------------------
> 
> Message: 2
> Date: Thu, 10 Mar 2022 13:56:21 +0100 (CET)
> From: gprimiero at libero.it
> To: folli at folli.info, fom at cs.nyu.edu, las-lics at lists.tu-berlin.de,
> 	logic at math.uni-bonn.de, "SILFS-L at list.cineca.it"
> 	<SILFS-L at list.cineca.it>
> Subject: Open Position: Assistant Professor in Logic for AI
> 	(Fixed-term, three years), Milan
> Message-ID: <2044390938.109277.1646916981972 at mail1.libero.it>
> Content-Type: text/plain; charset="utf-8"
> 
> Assistant Professor in Logic for AI (Fixed-term, three years).
> Deadline 23/03/2022
> 
> The Logic Uncertainty Computation and Information Group (https://luci.unimi.it/) at the University of Milan is seeking candidates for one post as Assistant Professor (fixed-term, 3 years. "RTD-A" in the Italian System) on Practical Reasoning for Human-Centred Artificial Intelligence.
> 
> What we are looking for
> 
> The ideal candidate has a strong background in logic and is fluent in at least one of the following areas of logic-based AI:
> * knowledge representation and reasoning
> * reasoning and decision-making under uncertainty,
> in which the successful candidate is expected to do research. Competence in fair and trustworthy AI is a welcome plus.
> 
> The successful candidate will be teaching in English up to 40 hours in the newly established Bachelor in Artificial Intelligence https://bai.unipv.it/.
> 
> The LUCI Group
> The appointed Assistant Professor will join the vibrant LUCI group, which currently consists of three permanent staff, three postdoctoral researchers and three phd students, all working on topics related to this post.
> 
> For this post, which is funded by the EU under the NextGenerationEU scheme, we particularly welcome applications by underrepresented groups. Moreover, flexible working arrangements are available to the purpose of broadening participation to the research environment (PNR 2021-27 research priority 1).
> 
> How to apply
> 
> Please apply online by 23 March at 12 am (Italian time, strict deadline) at https://www.unimi.it/it/ateneo/lavora-con-noi/reclutamento-ricercatori/selezioni-ricercatori/ricercatore-tipo-dm-737-21-sc-11/c2-ssd-m-fil/02-codice-4961
> 
> The online application form is available by following the "Presenta la domanda" link on the page. Please note that this link is currently unavailable on the English version of the page. We apologise to non-Italian speaker applicants for the inaccurate English translation of the official documentation which is available from the link above, and we invite all candidates to address informal enquiries to hykel.hosni at unimi.it mailto:hykel.hosni at unimi.it
> -------------- next part --------------
> An HTML attachment was scrubbed...
> URL: </pipermail/fom/attachments/20220310/694b617e/attachment-0001.html>
> 
> ------------------------------
> 
> Subject: Digest Footer
> 
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> https://cs.nyu.edu/mailman/listinfo/fom
> 
> 
> ------------------------------
> 
> End of FOM Digest, Vol 231, Issue 11
> ************************************