| dbo:abstract |
بيتر بي. اندروز (بالإنجليزية: Peter B. Andrews) هو فيلسوف ورياضياتي أمريكي، ولد في 1937. (ar) Peter Bruce Andrews (born 1937) is an American mathematician and Professor of Mathematics, Emeritus at Carnegie Mellon University in Pittsburgh, Pennsylvania, and the creator of the mathematical logic Q0. He received his Ph.D. from Princeton University in 1964 under the tutelage of Alonzo Church. He received the Herbrand Award in 2003. His research group designed the TPS automated theorem prover. A subsystem ETPS (Educational Theorem Proving System) of TPS is used to help students learn logic by interactively constructing natural deduction proofs. (en) Peter Bruce Andrews (1937) é um matemático estadunidense. É professor de matemática da Universidade Carnegie Mellon em Pittsburgh. Obteve o doutorado na Universidade de Princeton em 1964, orientado por Alonzo Church. Foi laureado com o Prêmio Herbrand de 2003. Seu grupo de pesquisas projetou o (TPS), um sistema para prova automática de teoremas. (pt) |
| dbo:thumbnail |
wiki-commons:Special:FilePath/Peter_Andrews_IMG_0397.jpg?width=300 |
| dbo:wikiPageExternalLink |
http://gtps.math.cmu.edu/andrews.html |
| dbo:wikiPageID |
4132316 (xsd:integer) |
| dbo:wikiPageLength |
3173 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1065087181 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Carnegie_Mellon_University dbr:Princeton_University dbr:Q0_(mathematical_logic) dbc:Living_people dbr:Pittsburgh,_Pennsylvania dbr:Frank_Pfenning dbr:Journal_of_Automated_Reasoning dbr:Mathematician dbc:1937_births dbc:20th-century_American_mathematicians dbc:21st-century_American_mathematicians dbc:Mathematical_logicians dbc:Princeton_University_alumni dbc:Carnegie_Mellon_University_faculty dbr:Alonzo_Church dbr:Journal_of_Symbolic_Logic dbr:Journal_of_the_ACM dbc:American_logicians dbr:Herbrand_Award dbr:Automated_theorem_prover dbr:TPS_(Theorem_Proving_System) dbr:File:Peter_Andrews_IMG_0397.jpg |
| dbp:wikiPageUsesTemplate |
dbt:Authority_control dbt:ISBN dbt:Other_people dbt:Reflist dbt:Short_description dbt:US-mathematician-stub |
| dcterms:subject |
dbc:Living_people dbc:1937_births dbc:20th-century_American_mathematicians dbc:21st-century_American_mathematicians dbc:Mathematical_logicians dbc:Princeton_University_alumni dbc:Carnegie_Mellon_University_faculty dbc:American_logicians |
| gold:hypernym |
dbr:Mathematician |
| schema:sameAs |
http://viaf.org/viaf/69161404 |
| rdf:type |
owl:Thing dbo:Person yago:WikicatAmericanLogicians yago:WikicatAmericanMathematicians yago:WikicatLivingPeople yago:WikicatMathematicalLogicians yago:Alumnus109786338 yago:CausalAgent100007347 yago:Expert109617867 yago:Intellectual109621545 yago:LivingThing100004258 yago:Logician110269785 yago:Mathematician110301261 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:PhysicalEntity100001930 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scholar110557854 yago:Scientist110560637 yago:Whole100003553 yago:WikicatPrincetonUniversityAlumni |
| rdfs:comment |
بيتر بي. اندروز (بالإنجليزية: Peter B. Andrews) هو فيلسوف ورياضياتي أمريكي، ولد في 1937. (ar) Peter Bruce Andrews (born 1937) is an American mathematician and Professor of Mathematics, Emeritus at Carnegie Mellon University in Pittsburgh, Pennsylvania, and the creator of the mathematical logic Q0. He received his Ph.D. from Princeton University in 1964 under the tutelage of Alonzo Church. He received the Herbrand Award in 2003. His research group designed the TPS automated theorem prover. A subsystem ETPS (Educational Theorem Proving System) of TPS is used to help students learn logic by interactively constructing natural deduction proofs. (en) Peter Bruce Andrews (1937) é um matemático estadunidense. É professor de matemática da Universidade Carnegie Mellon em Pittsburgh. Obteve o doutorado na Universidade de Princeton em 1964, orientado por Alonzo Church. Foi laureado com o Prêmio Herbrand de 2003. Seu grupo de pesquisas projetou o (TPS), um sistema para prova automática de teoremas. (pt) |
| rdfs:label |
بيتر بي. اندروز (ar) Peter B. Andrews (en) Peter Andrews (pt) |
| owl:sameAs |
freebase:Peter B. Andrews http://viaf.org/viaf/69161404 yago-res:Peter B. Andrews https://dblp.org/pid/17/459 wikidata:Peter B. Andrews http://data.bibliotheken.nl/id/thes/p073067032 dbpedia-ar:Peter B. Andrews http://arz.dbpedia.org/resource/بيتر_بى._اندروز http://ht.dbpedia.org/resource/Peter_Andrews dbpedia-pt:Peter B. Andrews https://global.dbpedia.org/id/4tS4U |
| prov:wasDerivedFrom |
wikipedia-en:Peter_B._Andrews?oldid=1065087181&ns=0 |
| foaf:depiction |
wiki-commons:Special:FilePath/Peter_Andrews_IMG_0397.jpg |
| foaf:isPrimaryTopicOf |
wikipedia-en:Peter_B._Andrews |
| is dbo:wikiPageRedirects of |
dbr:Peter_Andrews_(mathematician) dbr:Peter_B._Andrews_(mathematician) |
| is dbo:wikiPageWikiLink of |
dbr:Q0_(mathematical_logic) dbr:Peter_Andrews dbr:First-order_logic dbr:Handbook_of_Automated_Reasoning dbr:Peter_Andrews_(mathematician) dbr:Peter_B._Andrews_(mathematician) |
| is foaf:primaryTopic of |
wikipedia-en:Peter_B._Andrews |
