Wilhelm Ackermann: diferència entre les revisions

#1Lib1Ref #Bibliowikis Matemàtic Wilhelm Ackermann Diccionari Ferrater Mora
(#1Lib1Ref #Bibliowikis Matemàtic Wilhelm Ackermann Diccionari Ferrater Mora)
Va ingressar a la [[Universitat de Göttingen]] el 1914 per estudiar Matemàtiques, Física i Filosofia, però va haver d'interrompre els seus estudis en ser mobilitzat per la [[Gran Guerra]]. Va obtenir el seu doctorat el 1924 sota la supervisió de [[David Hilbert]] amb una tesi titulada: ''Begründung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit '' (Fonament del "tertium non datur" en la teoria hilbertiana de la consistència).
 
Ackerman no va seguir una carrera universitària: va ser professor de matemàtiques d'ensenyament secundari als ''Gymnasiums'' (els nostres Instituts de Batxillerat) de les ciutats de Burgsteinfurt i Ludenscheid ([[Westfàlia]]). Això no obstant, sempre va estar compromès amb la recerca i va publicar nombroses contribucions a la [[Lògica matemàtica]] i als [[Fonaments de la matemàtica]]. Va ser membre corresponent de l'Acadèmia de Ciències de Göttingen i professor honorari de la Universitat de [[Münster]] en lògica matemàtica.<ref>{{Ref-llibre|cognom=Ferrater Mora|nom=Josep|títol=Diccionario de filosofía|url=|edició=|llengua=|data=1979|editorial=Alianza|lloc=Barcelona|pàgines=47|isbn=9788420652016|capítol=Ackermann, Wilhelm}}</ref>
 
Se'l considera el deixeble més fidel d'Hilbert, amb qui col·laborà en treballs de formalització de l'aritmètica i axiomatització de la matemàtica. El llibre pel que és més conegut és el ''[https://books.google.cat/books?id=NEiGBwAAQBAJ Grundzüge der theoretischen Logik (Fonaments de Lògica Matemàtica)]'' (1928), en co-autoria amb [[David Hilbert]], que ha estat traduït a nombrosos idiomes i ha tingut una influència decisiva en el desenvolupament posterior de les matemàtiques. SegonsTambé Hansés Hermes,{{sfndestacable |la Hermessedva |contribució 1967em |metalògica p=1-8i }}matemàtica elsen seusel estudisseu publicats versentreball sobre elsel temesproblema següents:de la decibilitat ''Solvable cases of the decision problem'', 1954.
 
Segons Hans Hermes,{{sfn | Hermes | 1967 | p=1-8 }} els seus estudis publicats versen sobre els temes següents:
* Recerques sobre la Consistència de l'[[Aritmètica]]
* Recerques sobre la Consistència dels Sistemes Matemàtics complerts
3.465

modificacions