Constructive Mathematics Constructive mathematics is positively characterized by the requirement that proof be algorithmic. In parole povere, this means that when a (mathematical) object is asserted to exist, an explicit example is given: a constructive existence proof demonstrates the existence of a mathematical object by outlining a method of finding (“constructing”) such an object. The emphasis in constructive theory is placed on hands-on provability, invece di

Arthur Prior: Logic Arthur Norman Prior (1914-69) was a logician and philosopher from New Zealand who contributed crucially to the development of ‘non-standard’ logics, especially of the modal variety. His greatest achievement was the invention of modern temporal logic, worked out in close connection with modal logic. Tuttavia, his work in logic had a much broader scope. He was also the founder of hybrid logic, e

Teoria degli insiemi La teoria degli insiemi è una branca della matematica che studia gli insiemi e le loro proprietà. I concetti di base della teoria degli insiemi sono abbastanza facili da capire e sembrano evidenti. Tuttavia, nonostante la sua apparente semplicità, la teoria degli insiemi risulta essere un argomento molto sofisticato. In particolare, I matematici hanno dimostrato che praticamente tutti i concetti e i risultati matematici possono essere formalizzati all’interno della teoria dell’equazione

Concezioni della teoria dei modelli di conseguenza logica Si dice che una frase X sia una conseguenza logica di un insieme K di frasi, se e solo se, solo in virtù della logica, è impossibile che tutte le frasi dell'insieme siano vere senza che anche X lo sia. Una specificazione ben nota di questa caratterizzazione informale è la concezione teorica del modello della conseguenza logica: una frase

Open Theism Open Theism is the thesis that, because God loves us and desires that we freely choose to reciprocate His love, He has made His knowledge of, and plans for, the future conditional upon our actions. Though omniscient, God does not know what we will freely do in the future. Though omnipotent, He has chosen to invite us to freely collaborate with Him in