Définitionsgödelien

gödelien

adjectif
/ɡo.dɛ.ljɛ̃/
  1. Relatif à la vie et l’œuvre du mathématicien Kurt Gödel (1906-1978).Y avait-il un moyen d’identifier ce qui faisait la différence entre les énoncés vrais dotés de preuves et ces énoncés gödeliens qui, tout en étant vrais, n’ont pas de preuve ?

Définitions issus du Wiktionnaire (via DBnary), sous licence CC BY-SA 3.0.