PADOA, Alessandro
Clara Silvia Roero
PADOA, Alessandro. – Nacque a Venezia il 14 ottobre 1868 da Pellegrino, commerciante, e da Pasqua Levi.
Dopo aver compiuto gli studi superiori nella sezione fisico-matematica [...] (1897-1906). È noto per aver codificato la struttura formale delle teorie assiomatico-deduttive e aver ideato un metodo ( ’algebra e alla geometria. In aritmetica dimostrò l’indipendenza del sistema di assiomi di Peano per i numeri naturali e riuscì a ...
Leggi Tutto
CATENA, Pietro
Giulio Cesare Giacobbe
Della sua vita si conoscono pochissimi elementi: nacque a Venezia nel 1501; nel 1547 fu nominato lettore di matematiche presso l'università di Padova (la stessa [...] nel sec. XVI, a porsi il problema della valutazione formale ed epistemologica della matematica euclidea, naturalmente dal punto di , della geografia di Tolomeo, dell'astronomia del sistema tolemaico, e, probabilmente delle "meccaniche" di Aristotele ...
Leggi Tutto
integrazione
integrazióne [Der. del lat. integratio -onis, dal part. pass. integratus di integrare (←), "atto ed effetto dell'integrare"] [ANM] (a) Per una funzione, l'operazione che porta a determinarne [...] (b) per un'equazione differenziale o un sistema di equazioni differenziali, procedimento che porta a determinarne I. finita: lo stesso che sommazione. ◆ [ANM] I. formale: l'i. ottenuta tramite manipolazione algebrica: v. manipolazione algebrica: III ...
Leggi Tutto
Macchina di Turing
Mauro Cappelli
Modello di agente di calcolo adatto a simulare la logica di qualsiasi algoritmo computazionale. La macchina formale fu proposta nel 1936 dal logico e matematico britannico [...] se per un problema non esiste una macchina di Turing in grado di risolverlo allora il problema si dice incomputabile o irrisolvibile.
→ Complessità algoritmica; Informatica teorica; Intelligenza artificiale; Sistemi chimico-fisici: autorganizzazione ...
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,...
realizzazione
realiżżazióne s. f. [der. di realizzare]. – 1. L’azione, l’operazione di realizzare; il fatto e il modo con cui qualcosa si realizza o viene realizzato: è vissuto tanto da vedere la r. dei suoi sogni; r. di un piano, e un progetto,...