Ktorphée

Séminaire de mathématiques

k1

KTarski

Adrien Deloro (imj-prg).
Nuit du 21 au 22 décembre 2019.
Quatre participants en plus de l'orateur.
Musique : Vers la flamme, Alexandre Scriabine.

« Vrai » ; « faux » ; « démontrable » ; « réfutable ». « Faux », c’est quand la négation est vraie. « Réfutable », c’est quand la négation est démontrable.

Il semblerait qu’on ait tout dit ; et pourtant non, car il manquait « non démontrable », pour quoi nos langues n’ont même pas de mot. Il paraît bien que ce cas n’était pas prévu par la pensée mathématique. Souvent l’absence de nom signale une obscurité. Je propose d’aller au cœur de ces ténèbres conceptuelles.

Je ne parlerai pas d’épistémologie ni d’histoire : ceci est un exposé de mathématiques. Contraint par le cadre à éluder les points techniques, je tenterai pourtant de faire passer des idées rigoureuses et précises.