Posts

Showing posts with the label Synthetic Math

Synthetic Math

Image
  Synthetic Math (n-lab) Synthetic Math and Computability Theory Introduction to Synthetic Math