Use app×
Join Bloom Tuition
One on One Online Tuition
JEE MAIN 2025 Foundation Course
NEET 2025 Foundation Course
CLASS 12 FOUNDATION COURSE
CLASS 10 FOUNDATION COURSE
CLASS 9 FOUNDATION COURSE
CLASS 8 FOUNDATION COURSE
0 votes
375 views
in General by (120k points)
closed by
Which aong the following are undecidable theories?

(a) The first order theory of boolean algebra

(b) The first order theory of Euclidean geomentry

(c) The first order theory of hyperbolic geometry

(d) The first order theory of the natural number with addition, multiplication, and equality

1 Answer

0 votes
by (120k points)
selected by
 
Best answer
The correct option is (d) The first order theory of the natural number with addition, multiplication, and equality

To explain I would say: Tarski and Mostowski in 1949, established that the first order theory of natural numbers with addition, multiplication, and equality is an undecidable theory. Others mentioned are decidable theories.

Welcome to Sarthaks eConnect: A unique platform where students can interact with teachers/experts/students to get solutions to their queries. Students (upto class 10+2) preparing for All Government Exams, CBSE Board Exam, ICSE Board Exam, State Board Exam, JEE (Mains+Advance) and NEET can ask questions from any subject and get quick answers by subject teachers/ experts/mentors/students.

Categories

...