Der Titel sagt alles, aber ich bin neugierig, weil es nicht offensichtlich ist, wie ein Theorembeweiser zu 'Isabelle' wurde. Wurde es nach einer Person benannt? Ich konnte es bei einigen Google-Suchanfragen nicht
Ich lese Turings Artikel "Computing Machinery and Intelligence" ( https://www.csee.umbc.edu/courses/471/papers/turing.pdf ) und habe ein Fragment gefunden, in dem er sagt: Ich habe auf dem Manchester-Computer ein kleines Programm mit nur 1.000 Speichereinheiten eingerichtet, wobei die mit einer...
Ich habe mehrere mögliche Erklärungen gehört, daher hätte ich gerne eine vertrauenswürdige Referenz. Update 05.19: Ich bin an der Frage interessiert, weil einer meiner Studenten in seiner Diplomarbeit geschrieben hat, dass der Name aus der folgenden Erklärung stammt (1). Bis jetzt habe ich gedacht...
Über den Stand der Technik, den ich der Typentheorie voraus bin, habe ich diese Fragen, die sich alle auf die Geschichte der Typen beziehen. Woher kam die Idee von Type ? (Es scheint, dass alle beginnen, wenn Russell und Whitehead einen Weg vorschlagen, um den Widerspruch zu vermeiden, den wir...
Ich habe diese Frage bei math.stackexchange gestellt , wurde aber hier umgeleitet. Meine Frage ist, ob es einen historischen Zusammenhang zwischen den Bereichen der dynamischen Systeme (und verwandten Bereichen wie der optimalen Steuerung) und der (theoretischen) Informatik gibt. Der Grund, aus dem...
Derzeit recherchiere ich für meine Diplomarbeit in Informatik mit einem Thema im Bereich verteilter Hash-Tabellen. Natürlich kam ich zu der Frage, woher der Begriff verteilte Hash-Tabelle stammt. (Ich weiß, dass es keine Raketenwissenschaft ist, sie nur aus der Verteilung einer Hash-Tabelle...
Ich habe Google Scholar nach Referenzen durchsucht und die erste Erwähnung auf irgendwo um 1963 mit einem sehr seltsamen Jitter im Jahr 1949 eingegrenzt. Ich versuche also, das Originalpapier aufzuspüren, in dem Intervalldiagramme zum Zitieren eingeführt werden, aber es war bisher ziemlich schwer...