• This site is a private, non-commercial website. As such, you're welcome here as long as you were invited. If you would like an invite, reach out to Cliff Spark

Peano arithmetic is enough, because Peano arithmetic encodes computation

  • Thread starter Thread starter btilly
  • Start date Start date
Back
Top