Robert I. Soare
Robert Irving Soare é um matemático estadunidense, professor da Universidade de Chicago desde 1967. Provou, juntamente com , o (low basis theorem), trabalhando com lógica matemática, principalmente na área da teoria da computabilidade. Em 2012 foi eleito fellow da American Mathematical Society. Foi palestrante convidado do Congresso Internacional de Matemáticos em Helsinque (1978).
Wikipage redirect
Admissible numberingAlgorithm characterizationsBob SoareBox (film)Carl JockuschChurch–Turing thesisComputability theoryEntscheidungsproblemHistory of the Church–Turing thesisKleene's T predicateList of International Congresses of Mathematicians Plenary and Invited SpeakersList of University of Chicago facultyList of Vanderbilt University peopleList of forcing notionsList of people by Erdős numberLoverboy (2011 film)Oracle machinePA degreePrimitive recursive functionR. I. SoareRobert Irving SoareRobert SoareSoareSoare (surname)Turing degree
Link from a Wikipage to another Wikipage
primaryTopic
Robert I. Soare
Robert Irving Soare é um matemático estadunidense, professor da Universidade de Chicago desde 1967. Provou, juntamente com , o (low basis theorem), trabalhando com lógica matemática, principalmente na área da teoria da computabilidade. Em 2012 foi eleito fellow da American Mathematical Society. Foi palestrante convidado do Congresso Internacional de Matemáticos em Helsinque (1978).
has abstract
Robert Irving Soare é um matem ...... temáticos em Helsinque (1978).
@pt
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,014,043,531
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
subject
hypernym
sameAs
comment
Robert Irving Soare é um matem ...... temáticos em Helsinque (1978).
@pt
label
Robert I. Soare
@en
Robert Irving Soare
@pt