misura
misura numero usato per esprimere il valore del rapporto di una grandezza rispetto a una grandezza, a essa omogenea, assunta come campione (unità di misura); in altri termini, la misura di una [...] massa e il tempo rispettivamente il metro, il chilogrammo e il secondo.
La nozione è anche generalizzata e trattata in modo assiomatico in teoria della → misura (si vedano anche: → Borel, misura di, → Lebesgue, misura di, → Peano-Jordan, misura di). ...
Leggi Tutto
Hauptsatz di Gentzen
Silvio Bozzi
Con questo nome (che significa teorema fondamentale) nella letteratura logica si indica una classe di teoremi il cui prototipo è dato dal risultato ottenuto da Gerhald [...] queste teorie fornirebbe una dimostrazione finitista di coerenza. Come provato da Gentzen nel 1936 nel caso dell’aritmetica di Peano, il teorema vale ma richiede sul piano metateorico il ricorso all’induzione aperta sull’ordinale . Il discorso si può ...
Leggi Tutto
Gli insiemi numerici
Angelo Guerraggio
Gli insiemi numerici
Gli insiemi numerici più importanti sono quelli dei numeri naturali, dei numeri interi, dei numeri razionali, dei numeri reali, dei numeri [...] che si è avvalso di tre concetti primitivi (quelli di numero, di zero e di successore) e di cinque assiomi (si veda → Peano, assiomi di).
Si possono sempre calcolare la somma e il prodotto di due numeri naturali. Non si può invece calcolare sempre la ...
Leggi Tutto
VETTORE
Roberto Marcolongo
Matematica. - Le grandezze, che si incontrano in geometria, in meccanica, in fisica, si possono distinguere in due classi. Le une - quali, ad es., le lunghezze, le aree, i [...] , soprattutto per opera della scuola italiana, da G. Peano (1888) in poi. Sono oramai numerosissime le trattazioni teoriche ossia un nuovo ente rappresentato nel sistema geometrico di Grassmann-Peano dal prodotto Pf del punto per il vettore. Di qui ...
Leggi Tutto
logicismo
logicismo indirizzo di filosofia della matematica che ipotizza che le basi della matematica e i suoi fondamenti vadano ricercati nei principi della logica. Si fa risalire tale indirizzo ai [...] non esplicitate, punta alla costruzione di un linguaggio “asettico”, assolutamente simbolico, come per esempio l’ideografia di G. Peano. Il logicismo, che, per quanto detto, si avvicina al → formalismo, non risolve, anche nelle sue forme più ...
Leggi Tutto
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] trattazione sistematica e completa dell’algebra della l.; a lui si richiameranno poi il francese L. Couturat e l’italiano G. Peano, cui si deve l’elaborazione di un simbolismo logico vicino a quello comune e la fondazione di una ‘scuola italiana’ di ...
Leggi Tutto
TOTI, Francesco
Antonio Tagliente
TOTI, Francesco (Francesco Coti, Francesco de Perusio, Francesco da Perugia). – Nacque probabilmente negli ultimi decenni del XIII secolo a Perugia; ignoti sono i nomi [...] Franciscus de Perusio, in Repertorium Fontium Historiae Medii Aevi, IV, Fontes D-E-F-Gez, Romae 1976, p. 549; P. Péano, François de Pérouse, in Dictionnaire d’histoire et de géographie ecclésiastiques, Paris 1977, XVIII, France - Frères, coll. 745 s ...
Leggi Tutto
Termine con cui è anche chiamata l'algebra combinatoria, disciplina che studia, piuttosto che le strutture algebriche classiche (gruppo, anello, corpo, ecc.), le strutture algebriche di tipo più semplice, [...] vi sono enunciati veri sui numeri naturali che non si possono dedurre dagli assiomi di un sistema standard come quello di Peano. Tale risultato ebbe un grande significato per i fondamenti della matematica, ma l’enunciato non dimostrabile di Gödel non ...
Leggi Tutto
VIOLA, Tullio. –
Clara Silvia Roero
Nacque a Roma il 5 ottobre 1904, terzogenito di Carlo Maria (v. la voce in questo Dizionario), professore di geologia all’Università di Parma, e di Clara Schneider, [...] di studi furono le conferenze di Federigo Enriques e le lezioni e conversazioni con Giovanni Vacca, l’assistente di Giuseppe Peano che collaborò con lui e con Giovanni Vailati alle note storiche del Formulario mathematico e si dedicò poi agli studi ...
Leggi Tutto
modello
modello termine utilizzato in matematica con due significati opposti: da una parte, diversamente connotato (per esempio, modello algebrico, modello geometrico ecc.), indica uno schema teorico, [...] della teoria dell’aritmetica formalizzata dagli assiomi di → Peano nel linguaggio dei predicati.
Il teorema di esistenza È tale per esempio l’aritmetica formalizzata con gli assiomi di Peano. La teoria dei gruppi è invece una teoria non categorica ...
Leggi Tutto
peana
(raro peane) s. m. [dal lat. paeana, accus. di paean, gr. παιάν, in origine nome di divinità della cerchia di Apollo, poi epiteto di Apollo, «risanatore, soccorritore» e quindi nome del canto lirico in cui il dio era invocato] (pl. -i...
successore
successóre s. m. [dal lat. successor -oris, der. di succedĕre «venire dopo, sottentrare» (supino successum)]. – 1. (f. succeditrice, ma la forma è per lo più evitata) Chi succede, cioè subentra a un altro in una carica, in un ufficio,...