Als «intuition» getaggte Fragen

6
Wie erhält man eine "physische Intuition" für die Ergebnisse in TCS?
Es tut mir leid, wenn diese Frage etwas vage ist, aber ich bin gespannt, wie erfolgreich Forscher ein "Gefühl" für die Ergebnisse in TCS bekommen. Beispielsweise kann die lineare Algebra geometrisch oder hinsichtlich ihrer physikalischen Interpretation (Eigenvektoren können als "stabile Punkte" in einem System angesehen werden) usw. verstanden werden. Es …
5
Warum impliziert P = NP nicht P = AP (dh P = PSPACE)?
Es ist gut bekannt , dass , wenn P=NPP=NP\mathbf{P}=\mathbf{NP} dann das Polynom Hierarchie kollabiert und P=PHP=PH\mathbf{P}=\mathbf{PH} . Dies kann mit Orakelmaschinen leicht induktiv verstanden werden. Die Frage ist - warum können wir nicht den induktiven Prozess über einen konstanten Wert von Abwechslungen fortsetzen und beweisen , P=AltTime(nO(1))P=AltTime(nO(1))\mathbf{P}=\mathbf{AltTime}(n^{O(1)}) (auch bekannt als …
1
Warum war Schönfinkels Arbeit, „gebundene Variablen“ in der Logik zu eliminieren, so entscheidend?
AFAIK, Der erste Beweis für die Verwendung von Funktionen höherer Ordnung geht auf Schönfinkels Arbeit von 1924 zurück: "Auf den Bausteinen der mathematischen Logik" - wo man Funktionen als Argumente an andere Funktionen übergeben durfte. Das scheint interessant zu sein. Jedoch scheint alles, was ich über seine Arbeit gelesen habe …
9
Gegenintuitive Ergebnisse für Studenten
Ich suche nach Beispielen für Ergebnisse, die gegen die Intuition der Menschen für ein allgemeines Publikumsgespräch verstoßen. Ergebnisse, die, wenn Sie von Nicht-Experten gefragt werden, "Was sagt Ihnen Ihre Intuition?", Fast alle falsch machen würden. Die Aussage der Ergebnisse sollte für Studierende in cs / math leicht zu erklären sein. …
2
Wie genau erfasst die Lambda-Rechnung den intuitiven Begriff der Berechenbarkeit?
Ich habe versucht, mich mit dem Was, Warum und Wie von Kalkulus zu beschäftigen, aber ich bin nicht in der Lage, mich mit "Warum funktioniert es?"λλ\lambda "Intuitiv" erhalte ich das Rechenmodell von Turing Machines (TM). Aber diese lgr; -Abstraktion lässt mich nur verwirrt.λλ\lambda Nehmen wir an, TMs existieren nicht - …
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.