Questions marquées «ho.history-overview»

L'histoire derrière les sujets: d'où vient leur nom, qui les a découverts, quand ils ont été prouvés pour la première fois, comment ils ont évolué au fil des années.

1
Le «degré de difficulté de Rabin à calculer une fonction et un ordre partiel des ensembles récursifs»
Je cherche: Michael O. Rabin, "Degré de difficulté de calcul d'une fonction et ordre partiel d'ensembles récursifs", Université hébraïque, Jérusalem, 1960 Sommaire: «Nous essayons de mesurer la quantité de travail inhérente à la tâche de calculer une fonction calculable (récursive) donnée. Une notion de degré de difficulté de calcul est …
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 …
1
Entscheidungsproblem vs. Unvollständigkeitssatz (question douce)
Le premier terme est utilisé par Hilbert dans son travail de 1928, mais dans le travail ultérieur de Gödel, la même chose est appelée Unvollständigkeitssatz ("théorème d'incomplétude"). Pour les chercheurs allemands actuels en CS, il semble que Unvollständigkeitssatz soit plus couramment utilisé, et Entscheidungsproblem ("problème de décision") est toujours compris, …
2
Expositions pour un musée de l'informatique
Tous les musées et expositions liés à l'informatique que je connais semblent couvrir uniquement l'histoire des machines informatiques, mais rien sur les sujets de l'informatique. Vous participez à la création d'un nouveau musée de l'informatique, agréé pour éduquer, divertir et inspirer le grand public dans une grande variété de sujets …
2
La relation entre Babbage et von Neumann
Il est bien connu que la machine analytique de Charles Babbage avait une architecture ressemblant fortement à l'architecture moderne de Von Neumann. Il est également à noter que les tableaux de représentation d'un programme pour la machine analytique de Babbage ( http://www.fourmilab.ch/babbage/figures/menat3.png ) et les travaux de von Neumann (tels …
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.