Wolfram Computation Meets Knowledge

Wolfram Summer School

The Metamathematics Track offers students the opportunity to help advance the recently debuted Wolfram Metamathematics Project, dedicated to the study of the computational origins, structure, and future of mathematics.

Student projects can survey the properties of metamathematical spaces through empirical metamathematics; probe the construction of objects and proofs using generative methods; and conceptualize strategies for the future of mathematical human-computer interaction using the theory of observers inherited from physics.

Building upon Stephen Wolfram’s recent work on metamathematics, the Wolfram Physics Project, and A New Kind of Science, each student project will be mentored by those at the forefront of current research (including Stephen Wolfram himself) and address key open questions.

Schedule Outline

Before the Summer School (Week Zero)

Week One

  • Basics of implementing projects with the Wolfram Language (lectures)
  • Personal case studies in innovation (lectures)
  • Live innovation and coding sessions
  • Mentor pairing and project selection with Stephen Wolfram

Week Two

  • Hands-on, in-depth training on Wolfram Language technology development
  • Lectures and discussions on computational thinking and current strategies
  • Guided and solo project time
  • Special-topic lectures (previous topics have included science-based careers, how to pick a research project, how to write a paper and how to start a technology company, as well as outlines of physics, aspects of scientific history and much more)

Week Three

  • Guided and solo project time
  • Presentation and Community post preparation
  • Final student presentation

Wolfram Summer School | Champaign, IL, USA | July 3 29–July 22, 2022