Maps in Place of Proofs?

Represent

Represent It

Conjecture!

Hassler Whitney

Map It Represented

Partial Mapping

Partial Mapping, the Program

Map That Which Is Not Represented by Math, One Take

Take Two, an Example Other Than an Irrational Number

Math as Data

Concept Plus Calculation

More from Terence Tao and Friends

Analytic Number Theory Exponent Database

Wolfram Data Repository

Does Not Compute? Include It

Map That Which Math Cannot Represent

Error

Limitation

MUH

Map the Connections

Map the Answers

Automated Conjecture

Map the Map Maps

A Map

The Library of Babel

Represented

Concept Maps

Concept Maps

Compute

Compute

Compute

Proof Compute

Proof (Understanding It)

Numbers as Functions

Neurosymbolic Networks

A Map of Math


Parameterization as a Means of Limiting Applicability Rather than Demonstrating Error

Law of Small Numbers


Proof as Program

Curry-Howard

Comments

Popular posts from this blog

Math Self-Study

What Counts

Computing and the Linguistic Turn