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 [...] nozione precisa di algoritmo ‒ la nozione di funzione ricorsiva (generale), risultato del lavoro di Alonzo Church, Kurt Gödel, linguistica del matematico ideale. L'analisi di Turing non è legata a uno specifico formalismo, tuttavia per la generalità ...
Leggi Tutto
IBN TIBBON, FAMIGLIA
CCesare Colafemmina
Nel corso dei secc. XII e XIII il mondo cristiano e il giudaismo provenzale ebbero accesso alla rigogliosa cultura scientifica e filosofica in lingua araba che [...] la versione, la resa ebraica di alcuni termini chiave, e in generale la tecnica di traduzione da seguire. Samuel ben Judah Ibn Tibbon incontrare a ogni pagina della sua versione innovazioni linguistiche e termini estremamente tecnici, Samuel ben Judah ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Filosofia (2012)
Il contributo italiano alla storia del pensiero: PRESENTAZIONE
Giuliano Amato
La realizzazione del progetto che prende oggi l’avvìo si radica nella storia della Treccani e della sua principale e ormai [...] coscienza e nuova cultura, di strumenti di elevata informazione generale circa i saperi umani, e di educazione nella loro il ruolo in esso esercitato ed esercitabile da una nazione linguistica, artistica e culturale, diventata Stato. Gran parte del ...
Leggi Tutto
razionalismo
Paolo Casini
Il primato della ragione
Il significato del termine razionalismo deriva da ragione. Si definisce razionalismo una tendenza a razionalizzare o ‘ridurre alla ragione’ quanto [...] linguaggio filosofico razionalismo e la sua antitesi irrazionalismo sono concetti astratti e generali al pari di ogni altro ismo, cioè convenzioni linguistiche che possono esprimere significati controversi. Si può dire, in prima approssimazione, che ...
Leggi Tutto
algoritmizzazione
algoritmizzazióne [Der. di algoritmizzare "tradurre in algoritmi"] [FAF] [INF] Processo di traduzione in algoritmi di un fenomeno naturale o artificiale, a scopo conoscitivo o normativo. [...] come strumento di ricerca e di conoscenza, come nel caso della psicologia cognitiva, della linguistica computazionale, ecc.; in realtà v'è un interesse generale, tanto che B. Russel e A.N. Whitehead proposero addirittura un'a. della matematica ...
Leggi Tutto
linguistica
linguìstica s. f. [dal fr. linguistique, der. di linguiste «linguista»]. – Scienza che studia sistematicamente il linguaggio umano nella totalità delle sue manifestazioni, e quindi le lingue come istituti storici e sociali, la...
modello linguistico di grandi dimensioni (LLM, Llm) loc. s.le m. Algoritmo di intelligenza artificiale che, processando massivamente una grande quantità di dati, utilizza tecniche di deep learning in vari àmbiti dell’elaborazione del linguaggio...