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.

PropertyValue
dbpedia-owl:abstract
  • 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.
  • 루벤 루이스 굿스타인(Reuben Louis Goodstein 1912년 12월 15일 - 1985년 3월 8일)은 영국의 수학자이다. 그는 철학과 수학교육에 강한 관심을 드러낸 학자이다. 런던의 성바울 학교를 졸업하고 케임브리지 대학교에서 석사학위를 받았다. 그 후 레딩 대학교에서 연구를 하였으나 그의 학문적 경력의 대부분은 레스터 대학교에서 이루어졌다. 그가 아직 레딩대학교에서 있을 당시인 1946년 런던 대학에서 철학박사 학위를 받았다. 굿스타인은 또한 루트비히 비트겐슈타인과 존 리틀우드의 학문적 영향 아래 연구활동을 수행했다.유한론에 대한 그의 연구(예를 들어 "구조적 형식주의, 수학의 기초에 대한 소론")는 놀랍도록 평이하고 명확하다.
  • Reuben Louis Goodstein (15 de desembre de 1912 a 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 Escola de Sant Pau a Londres. Va obtenir el seu master 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 Wittgenstein i John 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 Teorema de Goodstein va ser un dels primers exemples de teoremes a ser impossible de provar en l'aritmètica de Peano, però demostrable en un sistemes lògics més potents (per exemple, aritmètica de segon ordre). També va introduir una variant de la funció d'Ackermann que ara es coneix com seqüència hiperoperació, juntament amb la convenció de nomenclatura utilitzada per a aquestes operacions ( tetraió pentatió, etc.)
  • Reuben Louis Goodstein (ur. 15 grudnia 1912 w Londynie, zm. 8 marca 1985 w Leicester) – angielski matematyk i filozof matematyki.Jako chłopiec uczęszczał do St Paul's School w Londynie. Pracę magisterską złożył na Uniwersytecie Cambridge. Pracował następnie w uniwersytecie Reading, ale większość kariery akademickiej spędził na Uniwersytecie Leicester. Doktorat obronił na Uniwersytecie Londyńskim w 1946 nadal pracując w Reading. Był studentem Wittgensteina i Littlewooda.Jest autorem pracy "Constructive Formalism. Essays on the foundations of mathematics", w której przedstawia idee finityzmu.
  • 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.Goodstein ging auf die St. Paul´s School in London, wo er einen Mathematikpreis und ein Stipendium gewann. Ab 1931 studierte er Mathematik an der Universität Cambridge (Magdalene College), wo er 1933 seinen Abschluss machte (mit einer Spezialisierung in Analysis) und danach unter John Edensor Littlewood über transfinite Kardinalzahlen forschte. 1934/35 war er einer der Studenten, die Ludwig Wittgenstein´s Vorlesungen (Blue Book) ausarbeiten durften. 1935 erhielt er seinen Master-Abschluss und unterrichtete an der University of Reading, an der er insbesondere während des Zweiten Weltkriegs einen erheblichen Teil der Mathematischen Lehre übernahm. 1946 promovierte er an der Universität London und wurde 1948 Professor am University College in Leicester, wo er bis zu seiner Emeritierung 1977 blieb. 1966 bis 1969 war er Vizekanzler der Universität.Goodstein ist heute vor allem für die Goodstein-Folge bekannt (1944). Ein zugehöriger Satz lässt sich in der Peano-Arithmetik formulieren, aber nicht in ihr beweisen, wie Jeff Paris und Laurie Kirby zeigten. Er beschäftigte sich mit rekursiver Arithmetik und finitistischer Grundlegung der Mathematik und verfeinerte 1954 die Logik-freie Formulierung der von Skolem begründeten primitiv-rekursiven Arithmetik (zuerst gezeigt von Haskell Curry 1941). Neben mathematischer Logik (in der er den ersten Lehrstuhl in Großbritannien hatte) und Philosophie der Mathematik sowie Analysis war er auch sehr an Didaktik der Mathematik interessiert. 1956 bis 1962 war er Herausgeber der Mathematical Gazette.1962 war er Invited Speaker auf dem Internationalen Mathematikerkongress in Stockholm (A recursive lattice).Zu seinen Schülern zählt Martin Löb.
  • Reuben Louis Goodstein (15 December 1912 – 8 March 1985) was an English mathematician with a strong interest in the philosophy and teaching of mathematics.
dbpedia-owl:wikiPageID
  • 3717010 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 989 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 17 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 110439152 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
prop-fr:id
  • Goodstein
prop-fr:title
  • Reuben Louis Goodstein
prop-fr:wikiPageUsesTemplate
dcterms:subject
rdf:type
rdfs:comment
  • 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.
  • 루벤 루이스 굿스타인(Reuben Louis Goodstein 1912년 12월 15일 - 1985년 3월 8일)은 영국의 수학자이다. 그는 철학과 수학교육에 강한 관심을 드러낸 학자이다. 런던의 성바울 학교를 졸업하고 케임브리지 대학교에서 석사학위를 받았다. 그 후 레딩 대학교에서 연구를 하였으나 그의 학문적 경력의 대부분은 레스터 대학교에서 이루어졌다. 그가 아직 레딩대학교에서 있을 당시인 1946년 런던 대학에서 철학박사 학위를 받았다. 굿스타인은 또한 루트비히 비트겐슈타인과 존 리틀우드의 학문적 영향 아래 연구활동을 수행했다.유한론에 대한 그의 연구(예를 들어 "구조적 형식주의, 수학의 기초에 대한 소론")는 놀랍도록 평이하고 명확하다.
  • 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 (ur. 15 grudnia 1912 w Londynie, zm. 8 marca 1985 w Leicester) – angielski matematyk i filozof matematyki.Jako chłopiec uczęszczał do St Paul's School w Londynie. Pracę magisterską złożył na Uniwersytecie Cambridge. Pracował następnie w uniwersytecie Reading, ale większość kariery akademickiej spędził na Uniwersytecie Leicester. Doktorat obronił na Uniwersytecie Londyńskim w 1946 nadal pracując w Reading.
  • 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.Goodstein ging auf die St. Paul´s School in London, wo er einen Mathematikpreis und ein Stipendium gewann.
  • Reuben Louis Goodstein (15 de desembre de 1912 a 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 Escola de Sant Pau a Londres. Va obtenir el seu master 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.
rdfs:label
  • Reuben Goodstein
  • Reuben Goodstein
  • Reuben Goodstein
  • Reuben Goodstein
  • Reuben Goodstein
  • 루벤 루이스 굿스타인
owl:sameAs
http://www.w3.org/ns/prov#wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of