Questions marquées «intuition»

6
Comment obtenir une «intuition physique» pour les résultats du TCS?
Je suis désolé si cette question est un peu vague, mais je suis curieux de savoir comment les chercheurs qui réussissent obtiennent une "sensation" pour les résultats du TCS. Par exemple, l'algèbre linéaire peut être comprise géométriquement, ou en termes d'interprétations physiques (les vecteurs propres peuvent être considérés comme des …
5
Pourquoi P = NP n'implique-t-il pas P = AP (c'est-à-dire P = PSPACE)?
Il est bien connu que si P=NPP=NP\mathbf{P}=\mathbf{NP} puis la hiérarchie polynomiale effondre et P=PHP=PH\mathbf{P}=\mathbf{PH} . Cela peut facilement être compris par induction en utilisant des machines Oracle. La question est - pourquoi ne pouvons-nous pas poursuivre le processus inductif au-delà d'un niveau constant d'alternances et prouver P=AltTime(nO(1))P=AltTime(nO(1))\mathbf{P}=\mathbf{AltTime}(n^{O(1)}) (alias AP=PSPACEAP=PSPACE\mathbf{AP}=\mathbf{PSPACE} )? …
1
Pourquoi le travail de Schönfinkel sur l'élimination des «variables liées» dans la logique était-il si crucial?
AFAIK, La première preuve de l'utilisation de fonctions d'ordre supérieur remonte à l'article de Schönfinkel de 1924: "Sur les blocs de construction de la logique mathématique" - où il permettait à quelqu'un de passer des fonctions comme arguments à d'autres fonctions. Cela semble intéressant. Cependant, tout ce que j'ai lu …
9
Résultats contre-intuitifs pour les étudiants de premier cycle
Je recherche des exemples de résultats qui vont à l'encontre de l'intuition des gens pour une conférence grand public. Des résultats qui, s'ils étaient demandés à des non-experts "qu'est-ce que votre intuition vous dit?", Presque tous auraient tort. L'énoncé des résultats devrait être facilement explicable aux étudiants de premier cycle …
2
Comment le calcul lambda capture-t-il exactement la notion intuitive de calculabilité?
J'ai essayé d'enrouler ma tête autour du quoi, pourquoi et comment du -calculus mais je ne suis pas parvenu à comprendre "pourquoi ça marche"?λλ\lambda «Intuitivement», j'obtiens le modèle de calculabilité de Turing Machines (TM). Mais cette -abstraction me laisse juste perplexe.λλ\lambda Supposons que les MT n'existent pas - alors comment …
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.