Als «big-list» getaggte Fragen

Fragen, deren Antworten eine große Liste von Elementen sind (Bücher, Theoreme, Software, ...)

4
Stephen Hawkings Einfluss auf die Informatik
Angesichts des heutigen Todes von Stephen Hawking habe ich mich gefragt, ob eines seiner Ergebnisse einen direkten Einfluss auf cs hat. Der offensichtliche Kandidat wäre das Quantencomputing oder vielmehr der Aufbau eines physischen Quantencomputers, aber vielleicht gibt es Ergebnisse, die andere Auswirkungen haben. Ich kenne seine Arbeit nur auf populärwissenschaftlicher …
2
Unsicherheiten im GCT-Programm
In https://en.wikipedia.org/wiki/Geometric_complexity_theory wird erwähnt, dass ".. Ketan Mulmuley glaubt, dass das Programm, wenn es realisierbar ist, wahrscheinlich etwa 100 Jahre dauern wird, bis es das P vs. NP-Problem lösen kann". Es scheint darauf hinzudeuten, dass das einzige derzeit realisierbare Programm auf ernsthafte Hindernisse stoßen könnte. Was sind einige der Hindernisse, …
3
Kolmogorov-Komplexitätsanwendungen in der Zahlentheorie
Was sind die Anwendungen der Kolmogorov-Komplexität in der Zahlentheorie und auf beweisbezogenen Gebieten? (Die Monographie von Li & Vitanyi hat nicht viele Anwendungen im Zusammenhang mit der Zahlentheorie.) Einer der schönen Beweise, auf die ich gestoßen bin, ist der Beweis für die Existenz einer unendlichen Anzahl von Primzahlen unter Verwendung …
1
Leseliste zum Umschreiben von Systemen?
Ich bin neu im Studium von Umschreibungssystemen als Doktorand im ersten Jahr. Ich möchte einen speziellen Themenkurs zur Umschreibungstheorie vorschlagen und möchte sicherstellen, dass ich keine der Originalquellen auslasse. Ich habe eine Kopie von Barendregt und Terese als Lehrbuchquellen. Für Originalarbeiten: Ich habe mir Dershowitz 'Arbeit zum Nachweis der Terminierung, …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.