Sylow, Peter Ludvig Mejdell
Enciclopedia on line
Matematico (Cristiania, od. Oslo, 1832 - ivi 1918); prof. di scuola media, solo nel 1897 fu chiamato a una cattedra dell'univ. di Cristiania, che tenne fino alla morte. Il suo nome è legato soprattutto [...] sulla teoria dei gruppi di ordine finito, noti come primo e secondo teorema di Sylow. Si occupò anche di varî rami dell'analisi (funzioni ellittiche, funzioni modulari, ecc.) e collaborò con S. Lie nella preparazione della seconda edizione delle ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Fondamenti della matematicae teoria algoritmica dell'informazione
Enciclopedia della Scienza e della Tecnica (2007)
Fondamenti della matematica e teoria algoritmica dell'informazione
Gregory J. Chaitin
Ciò che possiamo dimostrare intorno ai fondamenti della matematica usando i suoi stessi metodi costituisce la metamatematica, [...] usando il computer U. H(X) è definita come la lunghezza in bit del più breve programma che fa sì che U generi l'insieme di teoremi X. Si noti che questa è un'elaborazione che non ha termine. Si può pensare a H(X) come al numero di bit di informazione ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
mercato, fallimenti del
Dizionario di Economia e Finanza (2012)
mercato, fallimenti del
Angelo Castaldo
Insieme dei casi in cui i mercati non sono in grado di determinare allocazioni efficienti delle risorse, ovvero di raggiungere equilibri di ottimo paretiano (➔ [...] Pareto, ottimo di p; efficienza economica; benessere, teoremi dell’economia del; Arrow-Debreu, modello di).
Condizioni che dalla mancanza di almeno una delle condizioni del primo teorema dell’economia del benessere, le quali recitano che: ...
Leggi Tutto
Rolle, Michel
Enciclopedia on line
Matematico (Ambert 1652 - Parigi 1719), dal 1685 membro dell'Accademia di Parigi come "géomètre pensionnaire". Il calcolo infinitesimale, allora da poco sorto, e sui cui principî R. sostenne con P. Varignon [...] una famosa disputa, deve a R. uno dei suoi teoremi fondamentali. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Fermat, Pierre de
Enciclopedia on line
Matematico francese (Beaumont-de-Lomagne, Tarn-et-Garonne, 1601 - Castres 1665). Autore di studi sul calcolo delle aree di figure piane, sul calcolo delle probabilità in problemi di giochi d'azzardo e nel [...] il nome di F. è legato soprattutto ai suoi teoremi di teoria dei numeri e in particolare a un che si presenta disarmante nella semplicità della sua formulazione. È il grande teorema di F. che asserisce che non esistono tre numeri interi positivi x ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Godel, teorema di
Enciclopedia della Matematica (2013)
Godel, teorema di
Gödel, teorema di teorema che riguarda l’incompletezza di un’ampia classe di teorie formali, tra cui la teoria formale dell’aritmetica (→ aritmetica, sistema formale per la). Costituisce [...] cui viene aggiunta la formula ƒ (quindi, S′ = S + ƒ); tuttavia, anche in questo nuovo sistema, sempre per il primo teorema di Gödel, è possibile trovare una formula ƒ″ che sia vera ma non dimostrabile. Dato che questo procedimento può essere iterato ...
Leggi Tutto
Campano da Novara
Enciclopedia on line
Matematico e astronomo (n. Novara - m. Viterbo 1296), dal 1264 cappellano presso la Curia pontificia. Matematico tra i più insigni del suo tempo, la sua edizione latina degli Elementi di Euclide (1255-59) [...] - che egli arricchì con alcune dimostrazioni alternative e teoremi supplementari suoi e di altri - rappresenta una tappa rilevante nella diffusione del matematico greco in Occidente. Così, la Theorica planetarum (tra il 1261 e il 1264) costituisce, ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Rham, Georges de
Enciclopedia on line
Matematico (Roche, Losanna, 1903 - Losanna 1990). Dal 1932 prof. all'univ. di Losanna e successivamente di Parigi (1943) e Ginevra (1953). Socio straniero dei Lincei (1962). Insigne matematico, le sue [...] ricerche riguardano soprattutto problemi di natura differenziale e topologica sulle varietà differenziabili (teoremi di de R.), e i risultati cui egli è pervenuto hanno aperto nuovi ed elevati settori di ricerca. Tra le opere: Variétés ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
calcolo infinitesimale
Enciclopedia della Matematica (2013)
calcolo infinitesimale
calcolo infinitesimale espressione utilizzata come sinonimo di → analisi infinitesimale, anche se impiegata soprattutto per sottolineare le tecniche algoritmiche per il calcolo [...] di derivate e integrali e i relativi problemi piuttosto che gli aspetti concettuali della teoria e i relativi teoremi. Per questi nella tradizione italiana è più spesso utilizzato il nome «analisi», diversamente dalla consuetudine internazionale di ...
Leggi Tutto
inferènza
Enciclopedia on line
inferènza Nel linguaggio filosofico, ogni forma di ragionamento deduttivo, che dimostra come una proposizione derivi logicamente da un'altra. In logica matematica, si dicono 'regole d'i.' l'insieme delle [...] regole in base alle quali in un sistema deduttivo possono essere derivati enunciati e teoremi a partire da assiomi o da altri enunciati. ...
Leggi Tutto
CATEGORIA:
DOTTRINE TEORIE E CONCETTI