Cerca in:
metodo
Dizionario delle Scienze Fisiche (2012)
metodo
mètodo [Der. del lat. methodus, dal gr. méthodos "la via della ricerca"] [LSF] Ogni procedimento volto alla conoscenza e alla sistematizzazione di ciò che via via si acquisisce, in base a criteri [...] concetti e proposizioni primitive da cui altri concetti e proposizioni possono essere ricavati come teoremi mediante dimostrazioni: v. assiomatizzazione: I 180 e. ◆ [FAF] [ALG] [ANM] M. costruttivo: quello che non soltanto individua la possibilità di ...
Leggi Tutto
Łukasiewicz, Jan
Enciclopedia on line
Studioso di logica (Leopoli 1878 - Dublino 1956). Tra i maggiori esponenti della cosiddetta Scuola logica polacca, svolse importanti ricerche sulla logica aristotelica e stoica. Considerando insoddisfacente [...] temi di semiotica). Nel campo della teoria della deduzione elaborò numerosi modelli assiomatici; fra l'altro, un'assiomatizzazione del calcolo proposizionale, usando tre soli assiomi. Elaborò inoltre una prova di non contraddittorietà dei sistemi di ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Neumann, Johann Ludwig von
Enciclopedia on line
Matematico ungherese naturalizzato statunitense (Budapest 1903 - Washington 1957). I suoi contributi hanno caratterizzato numerosi aspetti del pensiero matematico e scientifico del 20° sec. e spesso le [...] della teoria degli insiemi, alla quale si sono ispirati P. Bernays, R. M. Robinson e K. Gödel. Queste assiomatizzazioni distinguono gli insiemi dalle classi, essendo queste tutti e soli gli insiemi non comprimibili, cioè tali da non poter essere ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
METAMATEMATICA
Enciclopedia Italiana - IV Appendice (1979)
METAMATEMATICA
Alberto Pasquinelli
Aldo Marruccelli
. Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] dell'attività del matematico e si esalta, anche negli studi sui fondamenti, la tendenza all'astrazione e all'assiomatizzazione che già caratterizzava la ricerca matematica in quell'epoca. Vi sono due tipi di teorie assiomatiche: quelle concrete ...
Leggi Tutto
logica intuizionista
Enciclopedia della Scienza e della Tecnica (2008)
logica intuizionista
Silvio Bozzi
La più studiata rivale della logica classica sin da quando fu assiomatizzata da Arend Heyting nel 1930. Già Anchei M. Kolmogorov nel 1925 e Vasili I. Glivenko nel 1929 [...] come il terzo escluso A∨←A risulti falso o come sia falsificabile una formula quale ←∃x←A→∀xA. L’assiomatizzazione HI data da Heyting si ottiene quindi da quella per la logica classica semplicemente eliminando alcuni assiomi validi classicamente. I ...
Leggi Tutto
CATEGORIA:
LOGICA
La logica e i fondamenti della matematica tra Ottocento e Novecento
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] le proposizioni già ammesse», G. Peano, Formole di logica matematica, in Opere scelte, cit., p. 104). In realtà, l’assiomatizzazione della logica è da intendersi come un’esigenza secondaria rispetto a quella pratica di fornire un elenco di leggi ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Gabriele Lolli
La teoria degli insiemi
La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] di determinatezza per l'assioma di scelta, o quello di antifondazione.
Negli anni Trenta l'idea di von Neumann di assiomatizzare un concetto primitivo diverso da quello di insieme è ripresa con le teorie delle classi, a opera prima di Paul Bernays ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
entropia
Dizionario delle Scienze Fisiche (1996)
entropia
entropìa [Der. del ted. Entropie, dal gr. én "dentro" e tropé "trasformazione" e quindi "trasformazione interna"] [TRM] Grandezza che interviene nello studio delle trasformazioni termodinamiche [...] , possono essere collegate alle variazioni che subisce la qualità strutturale, come dire il "grado di ordine", del sistema (v. assiomatizzazione: I 182 c), la qualità del contenuto (per es., il contenuto di informazioni, in senso lato, del sistema: v ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. La sintesi newtoniana
Storia della Scienza (2002)
La Rivoluzione scientifica: i domini della conoscenza. La sintesi newtoniana
Maurizio Mamiani
La sintesi newtoniana
Le opere maggiori di Newton
Isaac Newton rese pubbliche due sole opere, destinate [...] stessa legge era in qualche modo conosciuta anche dagli Antichi.
La Praefatio ad lectorem del 1686 e l'assiomatizzazione dei Principia
Nella prefazione del 1686 alla prima edizione dei Principia, Newton rende pubblica la sua proposta di affrontare ...
Leggi Tutto
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Storia della Scienza (2004)
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Umberto Bottazzini
Filosofia e pratica matematica
Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] ordine o del secondo ordine?) sarà oggetto di lunghe discussioni negli anni Venti, con la ripresa delle ricerche sull'assiomatizzazione della teoria degli insiemi da parte di Abraham Fraenkel (1891-1965) e Thoralf Skolem (1887-1963).
Le critiche di ...
Leggi Tutto