Resultats de la cerca
Es mostren 4 resultats
Haskell Brooks Curry
Lògica
Matemàtiques
Filosofia
Lògic i filòsof de la matemàtica nord-americà.
Professor de la Universitat de Pennsilvània 1941, fou el creador de la lògica combinatòria en sistematitzar la teoria esbossada per Schönfinkel durant el segon decenni del s XX L’estudi de les aplicacions d’aquests nous conceptes i l’extensió de llur camp d’acció constitueixen el material de Combinatory Logic 1958, escrita en collaboració amb Robert Feys Treballà també en els camps de la metalògica i la fonamentació de les matemàtiques, adscrit en tot a l’escola formalista
David Hilbert
Matemàtiques
Matemàtic alemany.
Estudià a Heidelberg, a Leipzig i a París, i fou catedràtic a Königsberg i a Göttingen Dedicat a la lògica matemàtica, aplicà a la geometria els nous instruments lògics introduïts per Peano Fou el cap de l’escola formalista i el creador de la metamatemàtica, s’esforçà per provar la consistència del sistema axiomàtic i inventà un simbolisme que, juntament amb els de Russell i Lukasiewicz, ha trobat una amplíssima audiència en el món científic Introduí el concepte d’espai que avui porta el seu nom, i fou l’autor de Grundlagen der Geometrie ‘Fonaments de geometria’, 1899
Nicolas Bourbaki
Matemàtiques
Pseudònim col·lectiu d’un grup de matemàtics francesos, antics alumnes de l’École Normale Supérieure.
El 1930 començà a aparèixer aquesta signatura en els Comptes Rendus de l’Académie Française des Sciences, i a partir del 1939 iniciaren la publicació dels cèlebres Éléments de Mathématiques Adscrits a l’escola formalista formalisme , han exercit una gran influència en la matemàtica actual l’elaboració dels Éléments sembla ésser una realització del programa de David Hilbert Bé que el funcionament intern i el nom dels membres del grup Bourbaki han estat mantinguts en secret, hom creu que els fundadors foren Henri Cartan, Claude Chevalley, Samuel Eilenberg, Jean Dieudonné i André…
Julius Wilhelm Richard Dedekind
© Fototeca.cat
Matemàtiques
Matemàtic alemany, deixeble de Gauss.
Professor al politècnic de Zuric 1858 i a la Technische Hochschule de Brunsvic 1862-1912, ha estat un dels capdavanters de dos dels corrents bàsics que han donat origen i suport a la matemàtica moderna el formalista culminat en l’obra de Hilbert, que bandeja qualsevol possibilitat d’incloure un raonament basat en la intuïció dins l’edifici matemàtic, i el logicista Was sind und was sollen die Zahlen , ‘Què són i per a què serveixen els nombres', 1888, que pretén de situar la matemàtica com a branca particular de la lògica, elaborat fins a les darreres conseqüències per Russell…