Reuben Goodstein

De Viquipèdia
Dreceres ràpides: navegació, cerca

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.)