assiomatizzazióne

intuizionismo Termine filosofico con cui si designano quelle concezioni che non solo riconoscono una funzione all'intuizione, ma rivendicano a essa un ruolo privilegiato. Di intuizionismo si è parlato a proposito della scuola scozzese del senso comune di T. Reid (1710-1766) e W. Hamilton (1788-1856) che, nel tentativo ... assioma filosofia  Principio certo per immediata evidenza e costituente la base per l’ulteriore ricerca. Kant, nella Critica della ragion pura, chiama assioma dell’intuizione alcuni giudizi a priori, di evidenza immediata, che risultano dall’intuizione pura del tempo e dello spazio.  ● Nell’ambito della critica ... metamatematica Scienza che ha per oggetto l’analisi formale delle strutture matematiche, e che si può identificare con la logica matematica. Con significato più ristretto la metamatematica, o teoria della dimostrazione (Beweistheorie), è la scienza, creata da D. Hilbert intorno al 1919, avente per oggetto intere teorie ... Abraham Adolf Halevi Fraenkel Fraenkel ‹frèṅkël›, Abraham Adolf Halevi. - Matematico israeliano di origine tedesca (Monaco 1891 - Gerusalemme 1965). Professore e direttore dell'Istituto matematico a Kiel nel 1928 e professore alla Hebrew University di Gerusalemme dal 1929 al 1959. È stato uno dei fondatori della Israel academy of ...