Follow along with the video below to see how to install our site as a web app on your home screen.
Anmerkung: This feature currently requires accessing the site using the built-in Safari browser.
Regeln für den Dokumente-Bereich:
In den Börsenbereich gehören nur Angebote die bereits den Allgemeinen Regeln entsprechen.
Allgemeines:
Nicht erlaubt im Dokumente-Bereich sind:
- indizierte Titel (inkl. Comics)
- extremistische Werke, Zeitschriften und Comics (egal, welche Richtung)
- jegliche Art von Pornographie
- Anleitungen zu kriminellen Handlungen, gleich welcher Art
- sadistische, menschenverachtende oder ähnliche Werke
Nutzt den "Bedanken"-Button, bei Sammelthreads führen jegliche Kommentare, positiv wie negativ, sehr schnell zu einer Unübersichtlichkeit des Threads. Downmeldungen sind an den Uploader zu richten
Vor dem Einstellen zu beachten:
- Suchfunktion
Vergewissert euch, dass es euer Dokument noch nicht im Board gibt, Doppelposts werden kommentarlos gelöscht. Ist es schon vorhanden, tragt es als Mirror im bestehenden Post ein.
- Threadtitel
Idealerweise ist sofort zu erkennen um was es sich handelt. Verseht euren Titel mit den relevanten Informationen, das hilft euch und damit auch uns und allen Suchenden erheblich weiter.
Beispiel: [Thriller] Dan Brown - Inferno oder bei Magazinen:
Computerbild - 14/2014 (es muss ersichtlich sein, um welche Ausgabe und welches Magazin es sich handelt)
Folgende Präfixe stehen im Unterforum "Unterhaltung" zur Verfügung:
- Autor
- Titel
- Präfix
- Cover
- Genre
- Inhaltsbeschreibung
- enthaltene Formate
- Gesamtgröße des Downloads
- Hoster
- ggf. Passwort
Nicht erlaubt sind alle Dateien, die den Download unnötig aufblähen um eine Affiliategrenze zu erreichen, wie zB. mp3-files, übergroße Bilder, etc.
Ebenso nicht erlaubt sind sämtliche Dateien mit DRM, persönlichen Daten, etc., diese werden kommentarlos zu eurem eigenem Schutz gelöscht.
Achtet bitte bei der Konvertierung der Formate auf die Lesbarkeit, ein epub, was nur einfach durch Calibre gejagt wird um ein PDF zu erhalten, ist zu 99% eben nicht lesbar. Wenn ihr es nicht könnt, dann lasst es besser oder lest euch ein, wie man es richtig macht.
Unterforum Comics:
Threadtitel:
Ähnlich, wie bei Unterhaltung und Magazinen, sollte der Titel alle relevanten Informationen enthalten, hier bitte
- den Titel des Comics
- den Verlag (einige Comics sind in verschiedenen Verlagen erschienen)
- das Erscheinungsjahr
Erlaubt sind folgende Formate:
- CBR
- CBZ
Grundsätzlich gilt: jede Version eines Comics erhält einen eigenen Thread, Ersteller eines Comics können ihre Bände gerne mit dem Zusatz (Original-Release) versehen.
Bei Unsicherheiten zur korrekten Benennung bitte die Informationen von www.comicguide.de nutzen.
Inhalt des Beitrags:
Pflichtangaben hier sind:
- Titel des Bandes und ggf. Nummer
- Cover
- falls bekannt technische Daten (DPI, Breite, Speicherqualität)
- Größe des Downloads
- Hoster
- ggf. Passwort
- falls bekannt Releasenamen
Du verwendest einen veralteten Browser. Es ist möglich, dass diese oder andere Websites nicht korrekt angezeigt werden. Du solltest ein Upgrade durchführen oder einen alternativen Browser verwenden.
The Program That Talks About Itself From PRA to ZFC to the Incompleteness Theorems
The Program That Talks About Itself: From PRA to ZFC to the Incompleteness Theorems
English | October 12, 2026 | ASIN: B0H2BRJ68J | 248 Pages | Epub | 1.02 MB
A quine is a program that prints its own source code. The trick that makes it work is the same one at the heart of Gödel's incompleteness theorems."There are mathematical truths that cannot be proved." "Mathematics cannot prove its own consistency." The incompleteness theorems are usually quoted in forms that drop the conditions that matter. This book skips the slogans and has you build the theorems yourself, with tools programmers use every day.What you will learnThe three layers of logic, theory (axioms), and metatheory, and why ZFC is a theory and not a logicWhy a language with only for loops (the primitive recursive functions), and PRA, the proof system built on it, are weak yet trustworthyHow formulas and proofs become integers (Gödel numbers), and how a proof checker can be written as a program that always haltsWhy Cantor's diagonal, the halting problem, and quines are one and the same techniqueHow the diagonal lemma, which matches a quine part for part, leads to the first and second incompleteness theoremsWhy "ZF cannot prove the axiom of choice" can only be proved with the condition "if ZF is consistent"A consistent theory that claims to be inconsistent, nonstandard natural numbers, and Gentzen's ε₀All the code in the book (Python and JavaScript, plus quines in Go and C in an appendix) has been run and its output checked. When the book states a theorem, it keeps hypotheses such as "if T is consistent."It is written for programmers without a background in mathematical logic who want to understand the incompleteness theorems precisely.
