Questions marquées «proofs»

Utilisé pour les questions sur les preuves existantes ou possibles d'un théorème ou d'une conjecture spécifique

1
Comment la version MA de SETH est-elle avérée fausse?
Selon cet article , qui discute d'une extension non déterministe de l' hypothèse de temps exponentiel fort (SETH), "[…] Williams a récemment montré que les hypothèses liées à la complexité de Merlin-Arthur de k-TAUT sont fausses". Cependant, ce document ne cite qu'une communication personnelle. Comment la version MA de SETH …
2
Sur la prouvabilité de P versus NP
Tout d'abord, ma compréhension du théorème d'incomplétude de Gödel (et de la logique formelle en général) est très naïve, tout comme mes connaissances en informatique théorique (c'est-à-dire qu'un seul cours de troisième cycle est suivi pendant que je suis encore étudiant), donc cette question peut être très naïf. Pour autant …
2
Une preuve interactive du nombre de Dieu?
J'ai récemment appris les preuves interactives et je me demandais si le tout n'était rien de plus qu'une curiosité théorique, ou s'il avait des applications pratiques. J'ai pensé commencer par un exemple qui m'est venu sous la douche: Ces derniers temps, la nouvelle a été que "Nombre de Dieu" = …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.