Mathematiker sorgen sich manchmal um das Axiom of Choice (AC) und das Axiom of Determinancy (AD). Axiom of Choice : Bei einer gegebenen Sammlung nicht leerer Mengen gibt es eine Funktion f , die bei gegebener Menge S in C ein Mitglied von S zurückgibt .CC{\cal C}fffSSSCC{\cal C}SSS Axiom of...
Ich werde eine ziemlich vage Frage stellen, da die Grenze zwischen theoretischer Informatik und Mathematik nicht immer leicht zu unterscheiden ist. FRAGE: Ist Ihnen ein interessantes Ergebnis in CS bekannt, das entweder unabhängig von ZFC (dh von der Standardsatztheorie) ist oder das ursprünglich...
Ich interessiere mich allgemein für die von Baker-Gill-Solovay und Cohen verwendete Forcierungsmethode. Ich suche nach so vielen Quellen, wie ich in Bezug auf die Technik selbst oder ihre Verwendung in die Hände bekommen kann. Hat jemand
Ich bin Mathematiker und interessiere mich für Mengenlehre, Ordinaltheorie, unendliche Kombinatorik und allgemeine Topologie. Gibt es Bewerbungen für diese Fächer in der Informatik? Ich habe ein bisschen nachgesehen und (natürlich) viele Anwendungen für die Theorie der endlichen Graphen, die...
Soweit ich weiß, basieren Datentypen in der Informatik aufgrund von Russells Paradoxon nicht auf der Mengenlehre, aber wie in realen Programmiersprachen können wir so komplexe Datentypen wie "Menge, die sich nicht selbst enthält" nicht ausdrücken, oder? Angenommen, in der Praxis ist der Typ eine...
Ich interessiere mich für das Sonnenblumensystem und seine Anwendungen in der Informatik. Wenn ein Universum und eine Sammlung von k Mengen A i gegeben sind, wird es als k-Sonnenblumen-System bezeichnet, wenn A i ∩ A j = Y für alle i ≠ j ist . Und Y heißt als Kern und A i - Y heißt Blütenblätter....
Dies ist eine Frage, die ich im Forum der Mathematik-SE gestellt habe und auf die ich hier verwiesen wurde. Also hier ist die Frage- Ich bin ein Neuling sowohl in der formalen Mathematik als auch in der theoretischen Informatik. Bitte nehmen Sie Kontakt mit mir auf, wenn Sie feststellen, dass meine...
Ich versuche, mich mit den Konzepten universeller und existenzieller Typen zu beschäftigen, aber überall, wo ich hinschaue, sehe ich entweder logische oder operative Intuitionen (oder Implementierungen) (z. B. TAPL-Buch von B. Pierce), was gut ist , aber ich würde gerne die Definitionen sehen (wo...
Der Satz von Cantor besagt, dass Für jede Menge A hat die Menge aller Teilmengen von A eine streng größere Kardinalität als A selbst. Ist es möglich, so etwas nur mit Typen / Aussagen zu codieren, ohne auf ZFC-Sets zu verweisen? Code oder Pseudocode zum Codieren dieses Satzes in einer abhängig...