La scienza bizantina e latina. Introduzione
John D. North
Introduzione
Gli storici della scienza medievale che tentino d'individuare il nome del primo esponente moderno della loro disciplina rischiano [...] di scrittura dei numeri, ma anche di tecnica del computo). Sostenere che queste tradizioni caddero in disuso quando l'élite intellettuale rimase affascinata dall''algoritmo secondo cui la filosofia ‒ la ricerca della sapienza ‒ è accettabile nella ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. Teoria e pratica nel Medioevo
Guy Beaujouan
Teoria e pratica nel Medioevo
L'Alto Medioevo
Il giudizio negativo, talvolta velato di [...] di al-Ḫwārazmī prese il nome di 'algorismo' (poi algoritmo); quanto alla tecnica di scrittura, mentre i manuali, molto diffusi, di Alessandro di Villedieu e di Giovanni di Allorché l'attività di laboratorio e la ricerca della perfezione spirituale si ...
Leggi Tutto
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 [...] di discussioni e stimolarono alcune ricerche metamatematiche, ma la loro influenza sul programma di negli anni Trenta, di una nozione precisa dialgoritmo ‒ la nozione di funzione ricorsiva (generale), risultato del lavoro di Alonzo Church, Kurt ...
Leggi Tutto
compressibilita
compressibilità [Der. di compressibile] [FML] La proprietà dei corpi di diminuire di volume quando siano compressi, sinon. di comprimibilità; generic., si può dire che tale proprietà [...] c. è nulla. Per estensione, il termine è usato con rifer. alla ricerca scientifica in generale, che, per es. mediante la scoperta di leggi, tende costantemente ad aumentare la c. algoritmica della rappresentazione dei fenomeni con cui ha a che fare ...
Leggi Tutto
annealing
annealing 〈ënìlin〉 [s.ingl. "ricottura", usato in it. come s.m.] [FSD] Tecnica per la quale → ricottura. ◆ [PRB] [MCS] A. simulato (ingl. simulated a.): algoritmo per la ricerca dei minimi [...] per funzioni analitiche e numeriche che consente di determinare, con probabilità tendente a 1, il minimo assoluto senza dover effettuare tutti i possibili confronti; si basa sul principio di accettare con probabilità diversa da zero la possibilità ...
Leggi Tutto
pregiudizio algoritmico loc. s.le m. (spec. al pl.) Contenuto etico o ideologico distorto o discriminatorio (per es. verso le fasce più fragili della popolazione) processato dall’algoritmo nella fase di raccolta massiva dei dati e poi generato...
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...