Questions marquées «incompleteness»

La preuve par contradiction peut-elle fonctionner sans la loi du milieu exclu?

Je pensais récemment à la validité de la preuve par contradiction. J'ai lu ces derniers jours des choses sur la logique intuitionniste et les théorèmes de Godel pour voir s'ils me fourniraient des réponses à mes questions. En ce moment, j'ai encore des questions en suspens (peut-être liées au...

Pourquoi la solidité implique-t-elle la cohérence?

Je lisais la question La cohérence et l'exhaustivité impliquent la solidité? et la première déclaration y dit: Je comprends que la solidité implique la cohérence. Ce qui m'a laissé perplexe parce que je pensais que la solidité était une affirmation plus faible que la cohérence (c'est-à-dire que je...