Sul sito web di Terence Tao, celebre matematico australiano, compare l’indovinello che riportiamo nei prossimi paragrafi in una versione edulcorata. Su un’isola lontana abita una tribù dai costumi particolari. [...] si può dire che è possibile formulare il principio di induzione anche nella logica del prim’ordine, tramite uno schema di assiomi (assiomi di induzione), che assieme ad altri formano la cosiddetta Aritmetica di Peano, e si può anche ottenere come un ...
Leggi Tutto
Soltanto una volta riaperti gli occhi al mattino, la luce del giorno ci rivela l’inganno dei sogni. Fino allo scampanellio della sveglia, il mondo onirico, con i suoi fantasmi e i suoi miraggi, ci appare [...] ” è il Nord verso cui ciascuna opera di Platone è allineata, nonché l’eredità più importante del filosofo. L’assioma fondamentale di questa teoria postula l’esistenza di forme eterne, dette appunto “Idee”, soggiacenti la molteplicità sensoriale. In ...
Leggi Tutto
Nel decimo canto della Divina Commedia Dante si ritrova a vagare tra delle lugubri tombe scoperte. Alla domanda del Poeta incuriosito dal macabro spettacolo, Virgilio recita questi versi:
Suo cimitero [...] prospettiva non poteva che suscitare sdegno in qualsiasi cristiano, per il quale l’immortalità dell’anima è l’assioma principale della dottrina: senza di essa ogni prospettiva ultraterrena sarebbe negata. Così come nel medioevo, anche nell’antichità ...
Leggi Tutto
assioma
assiòma s. m. [dal lat. tardo axioma -ătis, gr. ἀξίωμα -ατος der. di ἄξιος «degno»] (pl. -i). – Nel linguaggio com., verità o principio che si ammette senza discussione, evidente di per sé. In filosofia, principio certo per immediata...
scelta
scélta s. f. [der. di scelto, part. pass. di scegliere]. – 1. a. Libero atto di volontà per cui, tra due o più offerte, proposte, possibilità o disponibilità, si manifesta o dichiara di preferirne una (in qualche caso anche più di una),...
Filosofia
Principio certo per immediata evidenza e costituente la base per l’ulteriore ricerca. Kant, nella Critica della ragion pura, chiama a. dell’intuizione alcuni giudizi a priori, di evidenza immediata, che risultano dall’intuizione pura...
legame assioma
legame assioma in logica, nell’ambito di una rete dimostrativa rappresentata da un grafo, è un nodo del grafo che corrisponde alla regola dell’assioma (o regola dell’identità) nel calcolo dei sequenti lineare. Il legame assioma...