Pourquoi invoquer toujours Gödel pour faire peur aux enfants ?

[Médiat]

l'application de règles de logique est intriquée avec le "genre" de formule qu'il faut démontrer où le "rang" dans lequel on se retrouve dans la démonstration ?

J'avoue que je ne comprends pas du tout ce que tu veux dire, tu pourrais expliciter un peu, s'il te plait. Est-ce que tu proposes une modification dans la notion de preuve ?

[invite7863222222222]

J'avoue que je ne comprends pas du tout ce que tu veux dire, tu pourrais expliciter un peu, s'il te plait. Est-ce que tu proposes une modification dans la notion de preuve ?

Une modification dans la notion de preuve, je dirais que oui ca en serait la conséquence.

Par exemple, dans les démonstrations, on ne pourrait utiliser qu'un nombre pair de Modus ponens. A bien y regarder la démarche me semble finalement pas du tout pertinente et justifiée (pour pas dire un peu stupide).

[Médiat]

(pour pas dire un peu stupide).

Il vaut mieux une idée un peu stupide plutôt que pas d'idée du tout