My collaboration with Julia Robinson (Q1208619): Difference between revisions

From MaRDI portal
Created claim: Wikidata QID (P12): Q55924049, #quickstatements; #temporary_batch_1711626644914
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q4115143 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The decision problem for exponential diophantine equations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Universal diophantine equation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4156744 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reduction of an arbitrary diophantine equation to one in 13 unknowns / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Autobiography of Julia Robinson / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Machine-Oriented Logic Based on the Resolution Principle / rank
 
Normal rank
Property / cites work
 
Property / cites work: An iterative method of solving a game / rank
 
Normal rank
Property / cites work
 
Property / cites work: Existential Definability in Arithmetic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Unsolvable Diophantine Problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4404877 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Notes on Binomial Coefficients I-A Generalization of Lucas' Congruence† / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5519092 / rank
 
Normal rank

Latest revision as of 16:26, 17 May 2024

scientific article
Language Label Description Also known as
English
My collaboration with Julia Robinson
scientific article

    Statements

    My collaboration with Julia Robinson (English)
    0 references
    0 references
    16 May 1993
    0 references
    The paper is an autobiographical reconstruction of the research done by the author in order to find the solution of Hilbert's tenth problem, the determination of the solvability of a Diophantine equation. The solution was obtained through a collaboration with Julia Robinson (and Martin Davis). Useful informations are given in the paper about both the steps performed in order to obtain the solution and the scientific and academic context in which the research was developed. The paper is very interesting for everybody interested in logic, number theory and history of logic and mathematics.
    0 references
    0 references
    0 references
    0 references
    0 references
    diophantine equation
    0 references
    Hilbert's tenth problem
    0 references
    Diophantine equation
    0 references
    logic
    0 references
    number theory
    0 references
    0 references