Cerca in:
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] evidente contrasto con la logica classica e sono state ampiamente indagate e definite per tutti i comuni sistemi formali intuizionisti. La semantica per IPC (calcolo proposizionale intuizionista), che si deve a Stanisław Jaśkowski, Marshall H. Stone ...
Leggi Tutto
sintassi
Enciclopedia della Scienza e della Tecnica (2008)
sintassi
Silvio Bozzi
Studio delle proprietà di linguaggi e teorie formalizzate visti, nella logica semantica, come sistemi per la costruzione, la classificazione e le trasformazioni di stringhe (o [...] . I linguaggi, i calcoli logici e le teorie formalizzate al centro dell’analisi della logica matematica sono per lo più sistemi formali di questo tipo e il loro studio dal punto di vista sintattico è particolarmente rilevante per quanto riguarda la ...
Leggi Tutto
CATEGORIA:
LOGICA
Post Emil Leon
Dizionario delle Scienze Fisiche (1996)
Post Emil Leon
Post 〈póst〉 Emil Leon [STF] (Augistow, Polonia, 1897 - New York 1954) Prof. di matematica nel City College di New York (1944). ◆ [INF] Macchina di P.: v. automi, teoria degli: I 330 a. [...] ◆ [ALG] [FAF] Teoria di P.: nella logica matematica, riguarda i sistemi formali e gli insiemi ricorsivamente numerabili. ...
Leggi Tutto
CATEGORIA:
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
TEMI GENERALI
–
ALGEBRA
–
EPISTEMOLOGIA
–
METAFISICA
sistema
Enciclopedia on line
sistema Nell’ambito scientifico, qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti tra loro e con l’ambiente esterno, reagisce o evolve [...] è stato talvolta concepito come un insieme articolato di programmi, norme e relazioni formali all’interno di una comunità educante. Ormai, però, l’approccio sistemico non si limita a considerare la struttura dei corsi di studio, i programmi ...
Leggi Tutto
CATEGORIA:
ANATOMIA MORFOLOGIA CITOLOGIA
–
SISTEMATICA E FITONIMI
–
TEMI GENERALI
–
CHIMICA FISICA
–
CHIMICA INORGANICA
–
FISICA MATEMATICA
–
METROLOGIA
–
OTTICA
–
ALGEBRA
–
ANATOMIA
–
ORGANISMI E ORGANIZZAZIONI INTERNAZIONALI
–
STORIA E FILOSOFIA DEL DIRITTO
–
METODI TEORIE E PROVVEDIMENTI
–
MONETAZIONE
–
DOTTRINE TEORIE E CONCETTI
–
FILOSOFIA DEL DIRITTO
–
METAFISICA
–
SCIENZE DELLA FORMAZIONE
–
SOCIOLOGIA
–
POLITOLOGIA
–
MECCANICA APPLICATA
società
Enciclopedia on line
società Insieme di individui o parti uniti da rapporti di varia natura, tra cui si instaurano forme di cooperazione, collaborazione e divisione dei compiti, che assicurano la sopravvivenza e la riproduzione [...] πόλις (per i latini civitas) non si distingue formalmente dalle più elementari forme di κοινωνίαι (o societates). Sofisti ., in passato come nel mondo contemporaneo, è costituita da un sistema di interazioni che unisce tra loro gli esseri umani. La s ...
Leggi Tutto
ordine
Enciclopedia on line
Arte
Nella terminologia architettonica classica, l’organismo a un tempo struttivo e formale che è costituito da una serie di colonne con la sovrastante trabeazione e, talora, il sottostante piedistallo [...] e della trabeazione. A seconda delle proporzioni fra le varie parti e dei motivi formali in esse, si ebbero i vari tipi (fig. C).
L’o. dorico come la presenza di elementi aleatori nell’evoluzione del sistema. In diversi campi di ricerca questa idea è ...
Leggi Tutto
CATEGORIA:
ARCHITETTURA E URBANISTICA
–
FISICA MATEMATICA
–
MECCANICA
–
MECCANICA DEI FLUIDI
–
MECCANICA QUANTISTICA
–
STORIA DELLA FISICA
–
ANALISI MATEMATICA
–
STORIA DELLA MATEMATICA
–
SISTEMATICA E ZOONIMI
–
STRUTTURE ARCHITETTONICHE
–
DIRITTO PENALE E PROCEDURA PENALE
–
ISTITUZIONI ENTI MINISTERI
–
ATTIVITA ESERCIZI COMMERCIALI MERCATI
–
ORGANIZZAZIONI E ISTITUZIONI
–
STORIA ECONOMICA
–
FILOSOFIA DELLA STORIA
–
METAFISICA
–
STORIA DEL PENSIERO FILOSOFICO
–
DOTTRINE TEORIE CONCETTI
–
ORDINI CONGREGAZIONI E CULTI MARGINALI
–
STORIA DELLE RELIGIONI
–
SOCIOLOGIA
–
STORIA MEDIEVALE
genere
Enciclopedia on line
Antropologia
Nel dibattito antropologico e sociologico contemporaneo, il termine g. ha sostituito il termine sesso per indicare la tipizzazione sociale, culturale e psicologica delle differenze tra maschi [...] gli elementi tematici e il piano della loro resa formale, sono oggi analizzati in relazione a diverse questioni, come quelle delle loro variazioni funzionali all’interno del sistema letterario, della loro diversa presenza nelle varie epoche, della ...
Leggi Tutto
realismo
Enciclopedia on line
Filosofia
Nella filosofia scolastica, l’attribuzione di una realtà oggettiva ai concetti universali. Nella filosofia moderna, ogni dottrina che consideri l’oggetto della conoscenza come esistente in sé, [...] valutato in base alla sua conformità a sistemi di credenza e pratiche intersoggettivi.
Letteratura il secolo con una pittura di forte impegno politico e di grande asciuttezza formale, che prepara gli sviluppi degli anni 1920. Negli USA, il gruppo The ...
Leggi Tutto
corpo
Enciclopedia on line
Termine generico con cui si indica qualsiasi porzione limitata di materia oppure la struttura fisica dell’uomo e degli animali oppure un insieme di cose o persone che formino un tutto omogeneo.
Anatomia
Il [...] scheletro, composto da 208 ossa. Diversi apparati, o sistemi, sono costituiti da insiemi di organi destinati a compiere prodotto’), definite in esso, per le quali valgano le proprietà formali della somma e del prodotto ordinario (esclusa, al più, la ...
Leggi Tutto
CATEGORIA:
STORIA DELLA BIOLOGIA
–
BIOCHIMICA
–
CHIMICA FISICA
–
STORIA DELLA CHIMICA
–
FISICA DEI SOLIDI
–
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
TERMODINAMICA E TERMOLOGIA
–
ALGEBRA
–
STORIA DELLA MATEMATICA
–
ANATOMIA
–
STORIA DELLA MEDICINA
–
STORIA E FILOSOFIA DEL DIRITTO
–
DOTTRINE TEORIE E CONCETTI
–
FILOSOFIA DELLA STORIA
–
METAFISICA
–
STORIA DEL PENSIERO FILOSOFICO
–
ISTITUZIONI E ORGANISMI RELIGIOSI
–
OPERATORI RELIGIOSI E ADDETTI AL CULTO
–
STORIA DELLE RELIGIONI
–
ANTROPOLOGIA CULTURALE
–
MILITARIA
–
TRASPORTI MARITTIMI E FLUVIALI
–
TRASPORTI NELLA STORIA
Poincaré, Jules-Henri
Enciclopedia on line
Matematico (Nancy 1854 - Parigi 1912), tra i più grandi dell'età a cavallo tra i secc. 19º e 20º; cugino di Raymond. Fu tra i più grandi matematici francesi del sec. XIX. L'attività scientifica veramente [...] possibilità di essere sottoposte a verifica empirica) e ha mostrato le interrelazioni, all'interno di un sistema scientifico, degli elementi empirici, formali e convenzionali (di qui la sua distinzione tra leggi e principi). Il ruolo dello strumento ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE