La seconda rivoluzione scientifica: matematica e logica. Problemi di analisi complessa alla fine dell'Ottocento
Jeremy Gray
Problemi di analisi complessa alla fine dell'Ottocento
La teoria generale [...] estremamente più difficili.
Progressi ulteriori vennero con l'introduzione di idee provenienti dalla teoria delle funzioni complesse. L'equazione differenziale delprimoordine
[10] F(z,w,w′)=0
dove w′=dw/dz e F è un polinomio in w e w′, ha ...
Leggi Tutto
Comportamentismo
Luciano Gallino
Varietà del comportamentismo nelle scienze sociali
La mappa del comportamentismo nelle scienze sociali presenta complicate diramazioni. Al fine di orizzontarsi su tale [...] in un motore inferenziale, un modulo di programma che simula passi di ragionamento logico, fondato in genere sulla logica dei predicati delprimoordine. Le conoscenze sono strutturate e rappresentate in apposite basi di conoscenza. Soltanto i ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Luigi Catalani
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Negli anni tra il 1790 e il 1830, in Germania, è diffusa l’esigenza di una visione unitaria [...] propria dei “processi delprimoordine”: con i fenomeni del magnetismo, dell’elettricità e del “processo chimico” si Friedrich Hegel già nella Wissenschaft der Logik del 1813 (La scienza della logica). Il confronto sistematico di Hegel con il ...
Leggi Tutto
CASORATI, Felice
Eugenio Togliatti
Nacque a Pavia il 17 dic. 1835 da Francesco, un medico che fu aggregato alla facoltà medicochirurgica dell'università di Pavia e ripetitore di fisiologia e materia [...] il C., più incline per temperamento alla riflessione logica sui fatti matematici che ai lunghi sviluppi analitici, essere delprimoordine, che la sola del secondo ordine è la curvatura totale, che poi ve ne sono una del terzo e tre del quarto ordine, ...
Leggi Tutto
predicati, calcolo dei
predicati, calcolo dei calcolo logico in cui si può esprimere, in modo rigoroso, un ragionamento e valutarne la correttezza. Se si pensa al ragionamento come a una successione [...] per controllare se una data formula è logicamente valida oppure no.
Se ci si limita alla quantificazione su variabili individuali, si ha il cosiddetto calcolo predicativo elementare (o delprimoordine); se si ammette anche la quantificazione sulle ...
Leggi Tutto
secondo ordine, teoria del
secondo ordine, teoria del in logica, locuzione utilizzata per contraddistinguere una particolare categoria di teorie matematiche formalizzate. Formalizzare una teoria significa [...] una teoria delprimoordine perché il quantificatore universale (per ogni) viene applicato non alle singole variabili, cioè ai numeri naturali, ma agli insiemi di numeri naturali.
In una interpretazione di un linguaggio logico le variabili assumono ...
Leggi Tutto
ricorsivita
ricorsività in logica, caratteristica di un procedimento che riduce la complessità di un problema riportandolo a problemi via via più semplici cui il procedimento stesso viene applicato. [...] A. Church dimostrò l’indecidibilità dell’aritmetica elementare e, in un secondo tempo, della logica dei predicati delprimoordine.
Oltre che in logica, la teoria della ricorsività ha trovato applicazioni anche in altri settori della matematica. Un ...
Leggi Tutto
coerenza
coerenza in logica, termine (sinonimo di non contraddittorietà e di consistenza), che indica la proprietà di un sistema assiomatico in cui non è possibile derivare contraddizioni: un sistema [...] sia coerente massimale. Una teoria S, scritta nel linguaggio dell’aritmetica formalizzata dagli assiomi di Peano come teoria delprimoordine, è detta omega-coerente (ω-coerente) qualora, data una formula a di S contenente una variabile x, indicata ...
Leggi Tutto
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 [...] quale afferma che l’aritmetica di Peano delprimoordine è indecidibile. Il risultato si può logica elementare è indecidibile – come del resto ogni estensione finita di una teoria indecidibile – e che non esiste calcolo per la logica d’ordine ...
Leggi Tutto
In senso oggettivo, il complesso di norme giuridiche, che comandano o vietano determinati comportamenti ai soggetti che ne sono destinatari, in senso soggettivo, la facoltà o pretesa, tutelata dalla legge, [...] primo nucleo della odierna comunità. Lo Stato è, infatti, il soggetto per eccellenza del d. internazionale pubblico; la consuetudine è la fonte primaria dell’ordinamento , diveniva fondamentale la coerenza logicadel sistema dei concetti, la ...
Leggi Tutto
ordine
órdine s. m. [lat. ōrdo ōrdĭnis]. – 1. a. Disposizione regolare di più cose collocate, le une rispetto alle altre, secondo un criterio organico e ragionato, rispondente a fini di praticità, di opportunità, di armonia, e sim.: mettere,...
unita
unità s. f. [dal lat. unĭtas -atis, der. di unus «uno»; in alcuni dei sign. concreti, ha risentito l’influenza dell’ingl. unit (che in inglese è distinto da unity)]. – 1. a. Il fatto, la condizione e la caratteristica di essere uno,...