Tucker, Benjamin Ricketson
Dizionario di filosofia (2009)
Tucker, Benjamin Ricketson
Economista e filosofo statunitense (South Darmouth, Massachusetts, 1854 - Principato di Monaco 1939). Seguace di Proudhon, fu uno dei maggiori teorici dell’anarchismo. Studiò [...] per lo più basate su Proudhon, da lui tradotto; ma la sua concezione di un «anarchismo individuale» è originale. Partendo dall’assioma che la potenza è il diritto, T. giunge alla conclusione che è nell’interesse dell’individuo unirsi agli altri per ...
Leggi Tutto
Sierpiński, Wacław Franciszek
Enciclopedia on line
Matematico (Varsavia 1882 - ivi 1969), prof. nell'univ. di Leopoli, poi di Varsavia; fondò la rivista Fundamenta mathematicae. Può essere considerato il principale esponente della scuola matematica polacca, [...] generale. Nel 1947 S. pubblicò la prima dimostrazione del fatto che l'ipotesi generalizzata del continuo implica l'assioma della scelta. Importanti anche i suoi contributi alla critica dei fondamenti e alla teoria dei numeri. Socio straniero ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
MOSTOWSKI, Andrzej
Enciclopedia Italiana - IV Appendice (1979)
MOSTOWSKI, Andrzej
Logico matematico polacco, nato a Leopoli il 1° novembre 1913. Dal 1947 professore di matematica all'università di Varsavia; dal 1956 membro dell'Accademia polacca delle scienze. Nel [...] and philosophy of science. È uno dei massimi logici matematici. Nel 1939 dimostrò che l'assioma della scelta è indipendente dai rimanenti assiomi della teoria degl'insiemi, fornendo così la prima prova d'indipendenza nell'ambito della teoria degl ...
Leggi Tutto
PERCHE LA MATEMATICA?
XXI Secolo (2010)
Perché la matematica?
Marco Rigoli
Lo scopo di questo saggio è presentare al lettore, invitandolo nel contempo a una personale riflessione, alcuni aspetti della matematica che permeano gran parte della [...] parallele, ben si presta a tale indagine essendo decisamente meno immediato e intuitivo degli altri. Euclide stesso, partendo dagli altri assiomi, era riuscito a provare che per un punto al di fuori di una retta data passa almeno una parallela a ...
Leggi Tutto
proof-net
Enciclopedia della Matematica (2013)
proof-net
proof-net o rete dimostrativa o rete di prova, in logica lineare è un grafo che rappresenta una dimostrazione, termine con cui si intende una deduzione formale nel calcolo dei → sequenti della [...] legame, e degli archi uscenti detti conclusioni. Esempi di legami sono:
• legame assioma: corrisponde alla regola dell’assioma (o regola dell’identità) nel calcolo dei sequenti lineare. Il legame assioma è indicato con (ax), non ha premesse e ha due ...
Leggi Tutto
deduzione, catena di
Enciclopedia della Matematica (2013)
deduzione, catena di
deduzione, catena di rappresentazione formale di un ragionamento consistente in una sequenza di formule ben formate (ƒbƒ), ognuna delle quali è legata alla successiva da determinate [...] di formule α1, α2, …, αn tali che αn = α e ogni formula αi sia o una delle formule di Γ o un assioma oppure derivi dalle formule precedenti per mezzo dell’applicazione di una regola di inferenza.
Come esempio di catena di deduzione, si riporta la ...
Leggi Tutto
McFadden, Daniel L.
Dizionario di Economia e Finanza (2012)
McFadden, Daniel L.
Economista ed econometrista statunitense (n. Raleigh, North Carolina, 1937). Dopo essersi formato alla University of Minnesota (laurea in fisica nel 1956, PhD in Behavioral Science [...] di Econometria a Berkeley.
Ha dato notevoli contributi alla teoria della scelta del consumatore, dimostrando come l’assioma delle preferenze stocastiche rivelate (ARSP) – definito come la somma delle probabilità di scelta, data una sequenza finita ...
Leggi Tutto
continuo, cardinalita del
Enciclopedia della Matematica (2013)
continuo, cardinalita del
continuo, cardinalità del o potenza del continuo, cardinalità dell’insieme R dei numeri reali e di tutti gli insiemi a esso equipotenti. Un insieme con la cardinalità del continuo [...] una retta (in quanto i numeri reali possono essere posti in corrispondenza biunivoca con i punti di una retta in base all’assioma di Cantor-Dedekind), l’insieme dei punti di un segmento qualsiasi, l’insieme dei punti del piano o anche l’insieme dei ...
Leggi Tutto
comprensione
Dizionario delle Scienze Fisiche (1996)
comprensione
comprensióne [Der. del lat. comprehensio -onis, "il considerare insieme", dal part. pass. comprehensus di comprehendere, comp. di cum "insieme" e prehendere "prendere"] [LSF] L'atto e la [...] degli elementi che individuano un concetto, cioè il complesso delle sue determinazioni; è l'inverso dell'estensione. ◆ [FAF] Assioma, o principio, di c: afferma la possibilità di formare l'insieme costituito da tutti gli elementi che soddisfano a una ...
Leggi Tutto
CATEGORIA:
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
TEMI GENERALI
–
ALGEBRA
–
EPISTEMOLOGIA
–
METAFISICA
Lindenbaum, Adolf
Enciclopedia on line
Logico e matematico polacco (n. Varsavia 1904 - m. in un campo di concentramento nazista dopo il 1941). Si è occupato soprattutto, in collaborazione con A. Tarski, della struttura algebrica dei sistemi [...] nel 1938 in collaborazione con A. Mostowski, è la dimostrazione, sotto certe determinate condizioni, dell'indipendenza dell'assioma della scelta. Tra i suoi lavori: Über die Beschränktheit des Ausdrucksmittel deduktiver Theorien (1935, in collab. con ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE