Informele bewijsbaarheid in de wiskunde als partiƫle notie. Universiteit Gent
Het onderwerp van dit onderzoek betreft zowel filosofische benaderingen van informele bewijsbaarheid als formele theorieƫn daarvoor. Ik zal de problemen onderzoeken waar de huidige theorieƫn mee kampen, inbegrepen hun gebrekkige filosofische motivering. Daarnaast zal ik de relatie onderzoeken tussen waarheidstheorieƫn en de notie van informele bewijsbaarheid. Ik zal een theorie ontwikkelen voor informele bewijsbaarheid die analoog is aan ...