Cerca in:
Bolzano, Bernhard
Enciclopedia on line
Carlo Cellucci
Teologo cattolico, logico e matematico (Praga 1781 - ivi 1848). Figlio di un emigrato italiano nativo di Nesso, nel 1805 fu nominato prof. di filosofia della religione all'univ. di Praga. [...] ma in alcuni sottoprodotti di tale costruzione, in particolare nell'introduzione di nozioni come quelle di validità e di derivabilità che rivestono grande importanza per la logica moderna. Nella Paradoxien il B. si occupa dei fondamenti della teoria ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
teoremi di indecidibilita
Enciclopedia della Scienza e della Tecnica (2008)
teoremi di indecidibilità
Silvio Bozzi
In logica matematica, risultati che affermano che una data teoria formalizzata T non è decidibile, vale a dire non ammette un algoritmo in grado di stabilire in [...] , per es., il problema della fermata per macchine di Turing, il problema della lambda-convertibilità o quello della derivabilità di parole entro sistemi di Post e così via. Di fatto questi problemi risultano intertraducibili con questioni sull ...
Leggi Tutto
CATEGORIA:
LOGICA
deduzione
Enciclopedia on line
Filosofia
Rapporto per il quale una conclusione deriva da una o più premesse. Nella storia della filosofia si distinguono tre principali interpretazioni di tale rapporto. Secondo la prima, esso è fondato [...] d. Noto anche come teorema di Herbrand-Tarski (1930 ca.), consente di stabilire un’equivalenza fra l’affermazione della derivabilità di una certa espressione E da certe premesse, e l’affermazione della dimostrabilità di un’opportuna espressione E′ a ...
Leggi Tutto
CATEGORIA:
LOGICA
Gioberti, Vincenzo
Il Contributo italiano alla storia del Pensiero: Filosofia (2012)
Vincenzo Gioberti
Marcello Mustè
Fin dall’inizio l’opera di Gioberti appare indirizzata alla ricerca del punto di intersezione tra una metafisica concreta e un pensiero politico capace di guidare il [...] conquistato per conto proprio, applicandosi su Platone e Reid, dell’intuito dell’essere e della sua non derivabilità dalla sensazione; mentre il disaccordo si riassumeva nella negazione della tesi rosminiana relativa alla natura soltanto ‘possibile ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
modello
Enciclopedia on line
In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] T è consistente se e solo se ha un modello’. Questo teorema stabilisce l’equivalenza tra la nozione sintattica di derivabilità e quella semantica di validità. Da esso si ottiene un altro notevole teorema: ‘due teorie formulate nello stesso linguaggio ...
Leggi Tutto
CATEGORIA:
ARCHITETTURA E URBANISTICA
–
SCULTURA
–
FILOSOFIA DEL LINGUAGGIO
–
LINGUISTICA GENERALE
–
ECOLOGIA
–
ALGEBRA
–
GEOMETRIA
–
LOGICA MATEMATICA
–
STATISTICA E CALCOLO DELLE PROBABILITA
–
DIRITTO PRIVATO
–
STORIA E FILOSOFIA DEL DIRITTO
–
METODI TEORIE E PROVVEDIMENTI
–
EPISTEMOLOGIA
–
FILOSOFIA DEL DIRITTO
–
FILIERE STRUMENTI E TECNICHE DELLA PRODUZIONE INDUSTRIALE