A Background Associated With Relationships Between Logic and Number Theory

Exploring the Connections Between Logic and Number Theory

Authors

  • Monika Monad University Author

Keywords:

relationships, logic, number theory, recursion theory, decidability, undecidability, Hilbert's tenth Problem, recursively enumerable relations, determinability theory, Julia Robinson

Abstract

In a prior period theapplicable logical segment was recursion theory (decidability andundecidability). For  the focal issue was Hilbert'stenth Problem, and the focal outcome is that recursively enumerable relationson  are existentially quantifiable.The highpoint of determinability theory in  remains Julia Robinson's, that  is n3-perceptible in  . If  is existentially determinable in  is obscure (in the event that itis, Hilbert's tenth Problem for  is undecidable).

Downloads

Download data is not yet available.

Downloads

Published

2012-11-01

Issue

Vol. 4 No. 7 (2012): Journal of Advances in Science and Technology (JAST)

Section

Articles