Donc c'est plus en lien avec la théorie de la démonstration et la correspondance de Curry-Howard ou correspondance preuves-programmes. Tu es plus du côté informatique (systèmes de types pour les langages de programmation) ou mathématique (HoTT, interprétation des preuves comme programmes, logique classique ou intuitionniste) ?
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.
[^] # Re: Alerte crackpots
Posté par kantien . En réponse au lien Il est mathématiquement prouvé que nous ne vivons pas dans une simulation informatique. Évalué à 4.
Donc c'est plus en lien avec la théorie de la démonstration et la correspondance de Curry-Howard ou correspondance preuves-programmes. Tu es plus du côté informatique (systèmes de types pour les langages de programmation) ou mathématique (HoTT, interprétation des preuves comme programmes, logique classique ou intuitionniste) ?
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.