paradosso
Enciclopedia della Matematica (2013)
paradosso
paradosso (dal greco pará, «oltre, contro», e dóxa, «opinione») termine applicato, nella sua accezione più ampia, a qualsiasi affermazione o ragionamento che contrasti con l’opinione comune [...] paradosso) di Russell che esprime la necessità di passare dall’ambito teorico insiemistico (o delle classi) a quello della teoria dei → tipi.
• Il paradosso di Burali-Forti è il primo paradosso insiemistico, pubblicato nel 1897 da C. Burali-Forti, e ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Gödel
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Godel
Carlo Cellucci
I teoremi di incompletezza di Gödel
Nei giorni 5-7 settembre 1930 ebbe luogo a Königsberg [...] avanzato il dubbio che la loro validità potesse essere legata al particolare sistema formale considerato (una versione della teoria dei tipi), dall'altro si usarono i risultati di Gödel come argomento per abbandonare i sistemi formali. In parte per ...
Leggi Tutto
Bertrand Russell
Storia della civiltà europea a cura di Umberto Eco (2014)
Umberto Eco
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Numerosi sono stati i campi di attività del filosofo inglese Bertrand Russell: dalla logica [...] generati dal paradosso scoperto anni prima, si può ricorrere alla teoria dei tipi. In base a questa teoria gli oggetti di discorso sono ripartiti in una gerarchia di tipi logici: gli oggetti individuali, per esempio, vengono assegnati al tipo ...
Leggi Tutto
lambda-calcolo
Enciclopedia della Scienza e della Tecnica (2008)
lambda-calcolo
Silvio Bozzi
Presentato per la prima volta da Alonzo Church nel 1932 come frammento di un più ampio sistema (poi dimostratosi contraddittorio) per la fondazione della matematica, il λ-calcolo [...] di riscrittura. In questa veste esso ha oggi un grande interesse tanto nella logica matematica (teoria dei tipi, teoria delle funzioni e dei funzionali ricorsivi) che nell’informatica. Nella logica, sopratutto dopo la individuazione da parte di ...
Leggi Tutto
CATEGORIA:
LOGICA
comprensione/spiegazione (ted. Verstehen/ Erklaren)
Dizionario di filosofia (2009)
(ted. Verstehen/ Erklären) Dicotomia che nasce all’interno del cosiddetto storicismo tedesco contemporaneo, con particolare riferimento a Windelband, Rickert e Weber, che riflettono sull’eredità di Dilthey. [...] nel quale esistono certamente spinte ideali, ma non da parte dei protagonisti concreti della storia concreta, bensì da parte dell’unico visione idiografica. Ciò avverrà soprattutto con la teoria dei «tipi ideali», e con il saggio Alcune categorie ...
Leggi Tutto
Quine, Willard Van Orman
Enciclopedia on line
Logico e filosofo statunitense (Akron, Ohio, 1908 - Boston, Massachusetts, 2000). Partito dalla critica della teoria dei tipi per mostrarne l'eliminabilità in un lavoro di perfezionamento e di semplificazione [...] il celebre Gedankenexperiment della traduzione radicale e la sua concezione olistica del significato e delle teorie scientifiche, molti dei rappresentanti della filosofia statunitense di orientamento analitico-pragmatista (D. Davidson, H. Putnam, D.C ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Wurtz, Charles-Adolphe
Enciclopedia on line
{{{1}}}
Chimico e medico (Wolfisheim, Strasburgo, 1817 - Parigi 1884). Figlio di un pastore luterano, crebbe in un ambiente modesto ma colto. Dopo la laurea in medicina (1843), lavorò con J. Liebig a [...] la quale gruppi alchilici possono sostituire gli atomi di idrogeno di una molecola senza alterarne la struttura fondamentale (teoria dei tipi), sintetizzò il glicole etilenico, la glicerina e l'ossido di etilene, ideò un metodo di preparazione degli ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
neojunghiane, scuole
Enciclopedia on line
Indirizzi e metodologie che si richiamano al composito universo della psicologia analitica elaborata da C.G. Jung. Secondo A. Samuels il neojunghismo si divide in tre scuole (la scuola classica, la scuola [...] nella guida a un’azione terapeutica efficace (M. I. Marozza e A. Iapoce), la teoria dei tipi psicologici (E.V. Trapanese), la configurazione intenzionale dei complessi e la sua incidenza nello strutturarsi di ogni mente individuale (M. La Forgia). Da ...
Leggi Tutto
riducibilità
Enciclopedia on line
riducibilità In analisi vettoriale due sistemi di vettori applicati (per es., due sistemi di forze) si dicono mutuamente riducibili se si può passare dall’uno all’altro con sole operazioni elementari (➔ [...] In logica matematica l’assioma di r. fu introdotto da B. Russell per superare alcune difficoltà che si presentavano nella teoria dei tipi; tale assioma si può enunciare dicendo che per ogni proprietà appartenente a un ordine superiore al più basso, c ...
Leggi Tutto
Gerhardt, Charles-Frédéric
Enciclopedia on line
Chimico (Strasburgo 1816 - ivi 1856), allievo di J. von Liebig e di J.-B. Dumas, professore alle università di Montpellier (1844) e di Strasburgo (1855). Uno tra i più eminenti chimici francesi intorno [...] 'Ottocento. Fondamentali furono i suoi contributi in chimica organica: insieme a A.-L. Laurent introdusse la teoria dei tipi, secondo la quale le molecole organiche sarebbero formalmente derivate da pochi raggruppamenti atomici fondamentali. Anche se ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE