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

Büchi arithmetic

 Home Mathematics Fields of mathematics Applied mathematics Mathematical modeling Model theory
 0 By others on same topic  0 Discussions  1970-01-01  See my version
Büchi arithmetic is a form of arithmetic that can be used to describe sets of natural numbers, particularly in the context of certain types of logic and formal systems. It is named after the Swiss mathematician Julius Richard Büchi, who made significant contributions to the field of theoretical computer science, especially in relation to automata theory and definability.

 Ancestors (6)

  1. Model theory
  2. Mathematical modeling
  3. Applied mathematics
  4. Fields of mathematics
  5. Mathematics
  6.  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