| Birthplace
|
http://dbpedia.org/resource/London +
|
| http://dbpedia.org/ontology/abstract
|
Reuben Louis Goodstein (15 de desembre de … Reuben Louis Goodstein (15 de desembre de 1912, Londres - 8 de març de 1985 a Leicester) va ser un matemàtic anglès amb un fort interès per la filosofia i ensenyament de matemàtiques. Quan era nen, va assistir a la de Londres. Va obtenir el seu màster a la Universitat de Cambridge. Després d'això, va treballar en la Universitat de Reading, però en última instància, va passar la major part de la seva carrera acadèmica a la Universitat de Leicester. Va obtenir el seu doctorat a la Universitat de Londres el 1946, mentre que encara treballa com a professor lector. Goodstein també va estudiar amb Ludwig Wittgenstein i John Edensor Littlewood. Ha publicat nombroses obres sobre finitisme i la reconstrucció d'una anàlisi des d'una perspectiva finitista, per exemple, "El formalisme constructiu. Assaigs sobre els fonaments de les matemàtiques". El va ser un dels primers exemples de teoremes a ser impossible de provar en l'aritmètica de Peano, però demostrable en sistemes lògics més potents (per exemple l'). També va introduir una variant de la funció d'Ackermann que ara es coneix com a seqüència hiperoperació, juntament amb la convenció de nomenclatura utilitzada per a aquestes operacions tura utilitzada per a aquestes operacions
, Reuben Louis Goodstein (ur. 15 grudnia 1912 w Londynie, zm. 8 marca 1985 w Leicesterze) – angielski matematyk i filozof matematyki.
, Рубен Луис Гудстейн (англ. Reuben Louis Goodstein, 15 декабря 1912, Лондон — 8 марта 1985, Лестер) — английский математик. Серьёзно интересовался философией, преподавал математику.
, Reuben Louis Goodstein (* 15. Dezember 1912 in London; † 8. März 1985 in Leicester) war ein britischer Mathematiker, der sich insbesondere mit mathematischer Logik und Philosophie und Grundlagen der Mathematik beschäftigte.
, Reuben Louis Goodstein, né le 15 décembre … Reuben Louis Goodstein, né le 15 décembre 1912 à Londres et mort le 8 mars 1985 à Leicester, est un mathématicien et logicien britannique. Il est l'auteur du théorème de Goodstein en logique mathématique, qui a des applications en informatique théorique.Parmi ses élèves, figure S. Barry Cooper..Parmi ses élèves, figure S. Barry Cooper.
, Reuben Louis Goodstein (15 December 1912 – 8 March 1985) was an English mathematician with a strong interest in the philosophy and teaching of mathematics.
, 루벤 루이스 굿스타인(Reuben Louis Goodstein 1912년 1 … 루벤 루이스 굿스타인(Reuben Louis Goodstein 1912년 12월 15일~1985년 3월 8일)은 영국의 수학자이다. 그는 철학과 수학 교육에 강한 관심을 드러낸 학자이다. 영국 런던의 성바울 학교를 졸업하고, 케임브리지 대학교에서 석사 학위를 취득했다. 그 후, 레딩 대학교에서 연구를 하였으나 그의 학문적 경력의 대부분은 레스터 대학교에서 이루어졌다. 그가 아직 레딩 대학교에 있을 당시인 1946년 런던 대학교에서 철학 박사 학위를 받았다. 또한 루트비히 비트겐슈타인과 존 리틀우드의 학문적 영향 아래에서 연구 활동을 수행했다. 유한론에 대한 그의 연구(예를 들어서 "구조적 형식 주의, 수학의 기초에 대한 소론")는 놀랍도록 평이하고 명확하다.조적 형식 주의, 수학의 기초에 대한 소론")는 놀랍도록 평이하고 명확하다.
|
| http://dbpedia.org/ontology/academicAdvisor
|
http://dbpedia.org/resource/Ludwig_Wittgenstein +
|
| http://dbpedia.org/ontology/almaMater
|
http://dbpedia.org/resource/Magdalene_College%2C_Cambridge +
, http://dbpedia.org/resource/Birkbeck%2C_University_of_London +
|
| http://dbpedia.org/ontology/birthDate
|
"1912-12-15"^^xsd:date
|
| http://dbpedia.org/ontology/deathDate
|
"1985-03-08"^^xsd:date
|
| http://dbpedia.org/ontology/deathPlace
|
http://dbpedia.org/resource/Leicester +
|
| http://dbpedia.org/ontology/doctoralStudent
|
http://dbpedia.org/resource/S._Barry_Cooper +
, http://dbpedia.org/resource/Alan_Bundy +
, http://dbpedia.org/resource/Martin_L%C3%B6b +
|
| http://dbpedia.org/ontology/institution
|
http://dbpedia.org/resource/University_of_Cambridge +
, http://dbpedia.org/resource/University_of_Leicester +
|
| http://dbpedia.org/ontology/knownFor
|
http://dbpedia.org/resource/Goodstein%27s_theorem +
, http://dbpedia.org/resource/Primitive_recursive_arithmetic +
|
| http://dbpedia.org/ontology/wikiPageID
|
1586970
|
| http://dbpedia.org/ontology/wikiPageLength
|
5662
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1083570841
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/University_of_Reading +
, http://dbpedia.org/resource/Second-order_arithmetic +
, http://dbpedia.org/resource/Invited_speaker_at_the_International_Congress_of_Mathematicians +
, http://dbpedia.org/resource/Goodstein%27s_theorem +
, http://dbpedia.org/resource/Category:English_mathematicians +
, http://dbpedia.org/resource/Stockholm +
, http://dbpedia.org/resource/Birkbeck%2C_University_of_London +
, http://dbpedia.org/resource/Category:20th-century_British_mathematicians +
, http://dbpedia.org/resource/University_of_Leicester +
, http://dbpedia.org/resource/London +
, http://dbpedia.org/resource/Martin_L%C3%B6b +
, http://dbpedia.org/resource/Category:1985_deaths +
, http://dbpedia.org/resource/St_Paul%27s_School_%28London%29 +
, http://dbpedia.org/resource/Ludwig_Wittgenstein +
, http://dbpedia.org/resource/Leicester +
, http://dbpedia.org/resource/Category:Academics_of_the_University_of_Leicester +
, http://dbpedia.org/resource/University_of_London +
, http://dbpedia.org/resource/University_of_Cambridge +
, http://dbpedia.org/resource/Ackermann_function +
, http://dbpedia.org/resource/Peano_arithmetic +
, http://dbpedia.org/resource/Philosophy +
, http://dbpedia.org/resource/Category:People_educated_at_St_Paul%27s_School%2C_London +
, http://dbpedia.org/resource/Hyperoperation +
, http://dbpedia.org/resource/Philosophy_of_mathematics +
, http://dbpedia.org/resource/S._Barry_Cooper +
, http://dbpedia.org/resource/England +
, http://dbpedia.org/resource/Mathematical_logic +
, http://dbpedia.org/resource/Tetration +
, http://dbpedia.org/resource/Mathematical_analysis +
, http://dbpedia.org/resource/Doctor_of_Philosophy +
, http://dbpedia.org/resource/Primitive_recursive_arithmetic +
, http://dbpedia.org/resource/Mathematics +
, http://dbpedia.org/resource/Category:Academics_of_the_University_of_Reading +
, http://dbpedia.org/resource/Alan_Bundy +
, http://dbpedia.org/resource/Mathematician +
, http://dbpedia.org/resource/Category:Alumni_of_Magdalene_College%2C_Cambridge +
, http://dbpedia.org/resource/Magdalene_College%2C_Cambridge +
, http://dbpedia.org/resource/Formal_system +
, http://dbpedia.org/resource/Teaching +
, http://dbpedia.org/resource/Category:1912_births +
, http://dbpedia.org/resource/Pentation +
, http://dbpedia.org/resource/Category:Alumni_of_the_University_of_London +
, http://dbpedia.org/resource/Finitism +
, http://dbpedia.org/resource/The_Mathematical_Gazette +
|
| http://dbpedia.org/property/academicAdvisors
|
http://dbpedia.org/resource/Ludwig_Wittgenstein +
|
| http://dbpedia.org/property/almaMater
|
http://dbpedia.org/resource/Birkbeck%2C_University_of_London +
, http://dbpedia.org/resource/Magdalene_College%2C_Cambridge +
|
| http://dbpedia.org/property/birthDate
|
"1912-12-15"^^xsd:date
|
| http://dbpedia.org/property/birthPlace
|
http://dbpedia.org/resource/London +
|
| http://dbpedia.org/property/deathDate
|
"1985-03-08"^^xsd:date
|
| http://dbpedia.org/property/deathPlace
|
http://dbpedia.org/resource/Leicester +
|
| http://dbpedia.org/property/doctoralStudents
|
http://dbpedia.org/resource/S._Barry_Cooper +
, http://dbpedia.org/resource/Alan_Bundy +
, http://dbpedia.org/resource/Martin_L%C3%B6b +
|
| http://dbpedia.org/property/knownFor
|
http://dbpedia.org/resource/Primitive_recursive_arithmetic +
, http://dbpedia.org/resource/Goodstein%27s_theorem +
|
| http://dbpedia.org/property/name
|
Reuben Goodstein
|
| http://dbpedia.org/property/thesisTitle
|
An axiom-free equation calculus
|
| http://dbpedia.org/property/thesisYear
|
1946
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Birth_date +
, http://dbpedia.org/resource/Template:Death_date_and_age +
, http://dbpedia.org/resource/Template:Use_dmy_dates +
, http://dbpedia.org/resource/Template:Infobox_scientist +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Authority_control +
|
| http://dbpedia.org/property/workplaces
|
http://dbpedia.org/resource/University_of_Cambridge +
, http://dbpedia.org/resource/University_of_Leicester +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Alumni_of_the_University_of_London +
, http://dbpedia.org/resource/Category:Academics_of_the_University_of_Reading +
, http://dbpedia.org/resource/Category:1985_deaths +
, http://dbpedia.org/resource/Category:Academics_of_the_University_of_Leicester +
, http://dbpedia.org/resource/Category:People_educated_at_St_Paul%27s_School%2C_London +
, http://dbpedia.org/resource/Category:Alumni_of_Magdalene_College%2C_Cambridge +
, http://dbpedia.org/resource/Category:1912_births +
, http://dbpedia.org/resource/Category:English_mathematicians +
, http://dbpedia.org/resource/Category:20th-century_British_mathematicians +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Mathematician +
|
| http://schema.org/sameAs
|
http://viaf.org/viaf/293772464 +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Reuben_Goodstein?oldid=1083570841&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Reuben_Goodstein +
|
| http://xmlns.com/foaf/0.1/name
|
Reuben Goodstein
|
| owl:sameAs |
http://data.bibliotheken.nl/id/thes/p06804061X +
, http://it.dbpedia.org/resource/Reuben_Goodstein +
, http://ko.dbpedia.org/resource/%EB%A3%A8%EB%B2%A4_%EB%A3%A8%EC%9D%B4%EC%8A%A4_%EA%B5%BF%EC%8A%A4%ED%83%80%EC%9D%B8 +
, http://ht.dbpedia.org/resource/Reuben_Goodstein +
, http://fr.dbpedia.org/resource/Reuben_Goodstein +
, http://yago-knowledge.org/resource/Reuben_Goodstein +
, https://global.dbpedia.org/id/Eqn9 +
, http://ru.dbpedia.org/resource/%D0%93%D1%83%D0%B4%D1%81%D1%82%D0%B5%D0%B9%D0%BD%2C_%D0%A0%D1%83%D0%B1%D0%B5%D0%BD +
, http://de.dbpedia.org/resource/Reuben_Goodstein +
, http://azb.dbpedia.org/resource/%D8%B1%D9%88%D8%A8%D9%86_%D8%AA%D8%B1%D8%B3%D8%AA%D8%A7%DB%8C%D9%86 +
, http://viaf.org/viaf/293772464 +
, http://www.wikidata.org/entity/Q1191771 +
, http://rdf.freebase.com/ns/m.05dlpj +
, http://ca.dbpedia.org/resource/Reuben_Goodstein +
, http://arz.dbpedia.org/resource/%D8%B1%D9%88%D8%A8%D9%86_%D8%AC%D9%88%D8%AF%D8%B4%D8%AA%D8%A7%D9%8A%D9%86 +
, http://dbpedia.org/resource/Reuben_Goodstein +
, http://sl.dbpedia.org/resource/Reuben_Louis_Goodstein +
, http://pl.dbpedia.org/resource/Reuben_Goodstein +
, http://d-nb.info/gnd/1102969281 +
|
| rdf:type |
http://xmlns.com/foaf/0.1/Person +
, http://www.wikidata.org/entity/Q729 +
, http://dbpedia.org/class/yago/Educator110045713 +
, http://dbpedia.org/class/yago/Intellectual109621545 +
, http://dbpedia.org/class/yago/WikicatAlumniOfTheUniversityOfCambridge +
, http://dbpedia.org/class/yago/Scholar110557854 +
, http://dbpedia.org/ontology/Scientist +
, http://dbpedia.org/class/yago/Alumnus109786338 +
, http://dbpedia.org/class/yago/WikicatBritishMathematicians +
, http://dbpedia.org/class/yago/Mathematician110301261 +
, http://dbpedia.org/class/yago/Professional110480253 +
, http://dbpedia.org/class/yago/Person100007846 +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/ontology/Species +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://dbpedia.org/class/yago/Wikicat20th-centuryMathematicians +
, http://dbpedia.org/class/yago/WikicatAcademicsOfTheUniversityOfReading +
, http://dbpedia.org/ontology/Eukaryote +
, http://www.wikidata.org/entity/Q901 +
, http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/ontology/Animal +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://dbpedia.org/class/yago/Organism100004475 +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/ontology/Person +
, http://dbpedia.org/class/yago/Logician110269785 +
, http://dbpedia.org/class/yago/WikicatBritishPeople +
, http://dbpedia.org/class/yago/WikicatLogicians +
, http://dbpedia.org/class/yago/WikicatPeopleEducatedAtStPaul%27sSchool%2CLondon +
, http://dbpedia.org/class/yago/Expert109617867 +
, http://schema.org/Person +
, http://dbpedia.org/class/yago/WikicatAcademicsOfTheUniversityOfLeicester +
, http://dbpedia.org/class/yago/WikicatEnglishMathematicians +
, http://www.wikidata.org/entity/Q19088 +
, http://dbpedia.org/class/yago/Wikicat20th-centuryBritishMathematicians +
, http://www.wikidata.org/entity/Q215627 +
, http://dbpedia.org/class/yago/WikicatAlumniOfTheUniversityOfLondon +
, http://dbpedia.org/class/yago/Academician109759069 +
, http://dbpedia.org/class/yago/Adult109605289 +
, http://www.wikidata.org/entity/Q5 +
, http://dbpedia.org/class/yago/Scientist110560637 +
|
| rdfs:comment |
Reuben Louis Goodstein (ur. 15 grudnia 1912 w Londynie, zm. 8 marca 1985 w Leicesterze) – angielski matematyk i filozof matematyki.
, Рубен Луис Гудстейн (англ. Reuben Louis Goodstein, 15 декабря 1912, Лондон — 8 марта 1985, Лестер) — английский математик. Серьёзно интересовался философией, преподавал математику.
, Reuben Louis Goodstein (* 15. Dezember 1912 in London; † 8. März 1985 in Leicester) war ein britischer Mathematiker, der sich insbesondere mit mathematischer Logik und Philosophie und Grundlagen der Mathematik beschäftigte.
, 루벤 루이스 굿스타인(Reuben Louis Goodstein 1912년 1 … 루벤 루이스 굿스타인(Reuben Louis Goodstein 1912년 12월 15일~1985년 3월 8일)은 영국의 수학자이다. 그는 철학과 수학 교육에 강한 관심을 드러낸 학자이다. 영국 런던의 성바울 학교를 졸업하고, 케임브리지 대학교에서 석사 학위를 취득했다. 그 후, 레딩 대학교에서 연구를 하였으나 그의 학문적 경력의 대부분은 레스터 대학교에서 이루어졌다. 그가 아직 레딩 대학교에 있을 당시인 1946년 런던 대학교에서 철학 박사 학위를 받았다. 또한 루트비히 비트겐슈타인과 존 리틀우드의 학문적 영향 아래에서 연구 활동을 수행했다. 유한론에 대한 그의 연구(예를 들어서 "구조적 형식 주의, 수학의 기초에 대한 소론")는 놀랍도록 평이하고 명확하다.조적 형식 주의, 수학의 기초에 대한 소론")는 놀랍도록 평이하고 명확하다.
, Reuben Louis Goodstein, né le 15 décembre … Reuben Louis Goodstein, né le 15 décembre 1912 à Londres et mort le 8 mars 1985 à Leicester, est un mathématicien et logicien britannique. Il est l'auteur du théorème de Goodstein en logique mathématique, qui a des applications en informatique théorique.Parmi ses élèves, figure S. Barry Cooper..Parmi ses élèves, figure S. Barry Cooper.
, Reuben Louis Goodstein (15 de desembre de … Reuben Louis Goodstein (15 de desembre de 1912, Londres - 8 de març de 1985 a Leicester) va ser un matemàtic anglès amb un fort interès per la filosofia i ensenyament de matemàtiques. Quan era nen, va assistir a la de Londres. Va obtenir el seu màster a la Universitat de Cambridge. Després d'això, va treballar en la Universitat de Reading, però en última instància, va passar la major part de la seva carrera acadèmica a la Universitat de Leicester. Va obtenir el seu doctorat a la Universitat de Londres el 1946, mentre que encara treballa com a professor lector. Goodstein també va estudiar amb Ludwig Wittgenstein i John Edensor Littlewood.ig Wittgenstein i John Edensor Littlewood.
, Reuben Louis Goodstein (15 December 1912 – 8 March 1985) was an English mathematician with a strong interest in the philosophy and teaching of mathematics.
|
| rdfs:label |
Reuben Goodstein
, Гудстейн, Рубен
, 루벤 루이스 굿스타인
|
