La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia
Ettore Casari
La scuola di Leopoli-Varsavia
Gli inizi
La singolare vicenda intellettuale divenuta nota come 'Scuola [...] cui erano andate incontro le diverse teorie che a vario titolo e in forme differenti (da quella logicizzante di Frege a quella matematizzante di Cantor) avevano affrontato il problema della trattazione sistematica e rigorosa dei concetti indicati via ...
Leggi Tutto
semantica Ramo della linguistica che si occupa dei fenomeni del linguaggio non dal punto di vista fonetico e morfologico, ma guardando al loro significato. Il termine fu coniato da M. Bréal nel 1883 come [...] spiegare il significato di un enunciato consista nel formulare le sue condizioni di verità. Tale idea risale a G. Frege, che nei Grundgesetze der Arithmetik (1893-1903) aveva sostenuto che il significato di un enunciato è dato dalle sue condizioni ...
Leggi Tutto
PEANO, Giuseppe
Clara Silvia Roero
PEANO, Giuseppe. – Nacque a Spinetta, nei pressi di Cuneo, il 27 agosto 1858, secondogenito di Bartolomeo e di Rosa Cavallo, proprietari terrieri.
Frequentò le scuole [...] d’avanguardia, come quelli di Cantor sulla teoria degli insiemi transfiniti, studi sui fondamenti, carteggi con Gottlob Frege, recensioni, e dibattiti polemici con Giuseppe Veronese e Corrado Segre (Borga - Freguglia - Palladino, 1985). Il Formulario ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] da ∀x(A→A) e applicare ⇒∃2 utilizzando il termine {x∣A}.
Lo schema di comprensione, introdotto a suo tempo da Gottlob Frege, ci permette di definire un insieme a partire da una proprietà ed è un principio estremamente forte. La congettura di Takeuti ...
Leggi Tutto
sistema Nell’ambito scientifico, qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti tra loro e con l’ambiente esterno, reagisce o evolve [...] ; si parla perciò spesso, più in generale, di s. assiomatico. S. formali che hanno avuto una notevole importanza sono quelli di G. Frege, di B. Russell e A.N. Whitehead, di J. Łukasiewicz, di D. Hilbert e W. Ackermann, di D. Hilbert e P. Bernays ...
Leggi Tutto
frega
fréga s. f. [der. di fregare]. – 1. non com. Fregagione; solo al plur.: far le freghe. 2. Fregola, in senso proprio, con riferimento soprattutto ai pesci; fig., ant., desiderio incontenibile, voglia smaniosa: all’arrogante Passò la f....