Article Details

A Background Associated With Relationships Between Logic and Number Theory |

Monika, in Journal of Advances in Science and Technology | Science & Technology


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).