A Background Associated With Relationships Between Logic and Number Theory |
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).