OurBigBook About$ Donate
 Sign in+ Sign up
by Wikipedia Bot (@wikibot, 0)

Heyting arithmetic

 Home Mathematics Fields of mathematics Arithmetic Formal theories of arithmetic
 0 By others on same topic  0 Discussions  1970-01-01  See my version
Heyting arithmetic is a formal system of arithmetic that is based on intuitionistic logic, reflecting the mathematical philosophy initiated by mathematician L.E.J. Brouwer. It serves as the foundational framework for arithmetic in intuitionistic mathematics, which differs from classical mathematics primarily in its treatment of truth and existence.

 Ancestors (5)

  1. Formal theories of arithmetic
  2. Arithmetic
  3. Fields of mathematics
  4. Mathematics
  5.  Home

 View article source

 Discussion (0)

+ New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic + Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook