Metamathematics Track at 2022 Wolfram Summer School

[Stephen Wolfram]

We've just announced a Metamathematics Track at our Summer School this year July 3--July 22
https://education.wolfram.com/summer-school

The Summer School has been running every year since 2003 and boasts many distinguished alumni :)

It's a 3-week school where every student does an original project (which often turns into one or several papers)
(see e.g. https://www.wolframcloud.com/obj/microsites/summerschool/projects.html ).

The Summer School is intended mainly for late undergraduates through postdocs, though we've had high-school students, professors and professionals.  

It's being held this year in hybrid form.  We strongly encourage physical attendance, which this year will be in Illinois (usually it's in the Boston area).

If you want to do empirical metamathematics https://writings.stephenwolfram.com/2020/09/the-empirical-metamathematics-of-euclid-and-beyond/ , or study our recent work on physicalization of metamathematics  https://writings.stephenwolfram.com/2022/03/the-physicalization-of-metamathematics-and-its-implications-for-the-foundations-of-mathematics/ this is the place to come!

There's a huge range of possible projects; a few conceivable directions include:
Understanding the topology of proof space using experimental and theoretical methods
Understanding dualities in mathematics on the basis of empirical metamathematics
Studying the structure of metamathematical space for particular theories
Characterizing physicalized metamathematics using category theory
Understanding the hierarchy of hyperruliads

But in general we pride ourselves on suggesting projects which are excellent matches for students (and, yes, between our whole Summer School and High-School Summer Camp, I personally do this >130 times per year :) ) 

We added a Fundamental Physics Track (based on https://www.wolframphysics.org/ ) in 2020.
We're expecting a lively inaugural Metamathematics Track this year.

--- Stephen

Note: if you have relevant students, please do encourage them to apply.