Can the Atheist Bible's existence and scale be confirmed independently of Suchanek's own page — and does it cite any knowledge-graph or epistemics literature?
This capture answers question-verify-atheist-bible-independent-confirmation, raised while promoting claim-suchanek-yago-cocreator-wrote-atheist-bible. Research covered two sub-questions: (1) can the book's existence/scale be confirmed by a source other than Suchanek's own page, and (2) does the book itself cite knowledge-graph or epistemics literature.
Claim: No independent (third-party) confirmation of the Atheist Bible's existence or scale surfaced after a genuine search
Search for the book across library catalogues, booksellers, and review venues turned up no third-party record. A WorldCat search returned an HTTP 403 (inaccessible, not a confirmed absence). Targeted searches for Goodreads, Amazon, OpenLibrary, Google Books, Zenodo/DOI/HAL, secular-humanism blogs, press coverage, and Google Scholar "cited by" all returned either nothing about this specific book or unrelated books that happen to share the phrase "Atheist Bible" (e.g., Joan Konner's The Atheist's Bible, Georges Minois's The Atheist's Bible: The Most Dangerous Book That Never Existed — different, unrelated titles). Every hit that was actually about Suchanek's book traced back to pages on suchanek.name itself.
The book's own page (fetched fresh, 2026-07-22) states an ISBN, "ISBN 9798184552996" (source: https://suchanek.name/texts/atheism/index.html, Tier 1, exact quote as given). Searching for that ISBN directly returned no bookseller, library, or ISBN-registry listing — only unrelated results and, again, the author's own page. Note: an earlier automated web-search summary reported a different ISBN (978-1-291-72074-7) for this same book; that number could not be independently verified either and appears to have been a stale or erroneous search-engine synthesis rather than something on the live page — flagging the discrepancy rather than treating either ISBN as solid. [unverified-quant — needs primary: neither ISBN could be checked against an actual registry/retailer record]
This sub-question is marked [unverified — could not confirm or deny after search]. The absence of a hit is not proof the book lacks independent standing (self-published works routinely sit outside library/retail indexing, and WorldCat could not be checked directly due to the 403), but no positive independent confirmation was found.
Claim: The book's own text — read directly, not just Suchanek's description of it — does cite literature adjacent to epistemics and philosophy of science
Rather than relying only on Suchanek's summary of his own book (as the prior claim-note did), the "Truth" chapter was fetched and read directly. It cites, with footnotes:
- Judea Pearl, The Book of Why (2018) — quoted verbatim: "Our formalization is inspired by Judea Pearl's interventionist formalization of causality" (footnote citing Pearl, 2018).
- Diderik Batens, "Relevant implication and the weak deduction theorem," Studia Logica (1987) — cited in the same footnote discussing Church's weak deduction in formal logic.
- Gregory Chaitin, "On the intelligibility of the Universe and the notions of simplicity, complexity, and irreducibility" (2002) — quoted verbatim: "Compression is so quintessential to a good theory that Argentine-American mathematician Gregory Chaitin has suggested that it is tantamount to comprehension."
Source: https://suchanek.name/texts/atheism/ChapterTruth.html, Tier 1 (this is a direct read of the primary artifact's actual content, not a secondary description — though it is still hosted on Suchanek's own domain, so it does not resolve the independent-confirmation sub-question above). This is treated as a definitional/historical claim about the book's citation content, for which Tier 1 comfortably clears the floor.
Claim: The book cites Suchanek's own 2025 knowledge-representation/reasoning paper in the same passage, directly linking the "Atheist Bible" to his day-job research
In that same footnote in the "Truth" chapter, the book cites: "Zacchary Sadeddine and Fabian M. Suchanek: 'Verifying the Steps of Deductive Reasoning Chains (VANESSA)', Findings of the Association of Computational Linguists, 2025" (exact quote, source as above, Tier 1). This is a paper on verifying the steps of deductive reasoning chains — reasoning-verification work adjacent to Suchanek's knowledge-graph/knowledge-base research — cited to support the book's own discussion of formal-logic deduction in its chapter on Truth.
This is the one place research found the "day-job meets side-project" loop the original hop flagged as a lead: the Atheist Bible does not merely gesture at truth and logic informally, it footnotes a citation into Suchanek's own 2025 academic output on formal reasoning verification. It is a narrow instance (one footnote, one paper) rather than a running engagement with knowledge-graph or completeness literature throughout the book — the concluding chapter's own reference list, checked separately, did not turn up further knowledge-graph, ontology, or knowledge-representation citations in that pass.
Further leads
- The book's stated ISBN (9798184552996, per the live page) does not resolve in any bookseller/ISBN-registry search performed — a direct Bowker/ISBN-agency lookup in a future run might settle whether it's genuinely registered.
- WorldCat returned HTTP 403 on direct fetch — retry with a different access path (e.g. a librarian-facing tool) rather than treating the block as a negative result.
- The concluding chapter's reference list (dozens of citations, not independently counted here) did not surface knowledge-graph/ontology titles in a single pass — a full pass through all 1,700 claimed references would be needed to say definitively whether KG/epistemics citations are limited to the one Truth-chapter footnote found here.
- YAGO's own name origin ("Yet Another Great Ontology") — carried over from the original capture, still unchecked, still likely a trivial one-liner.
Entity candidates
- Judea Pearl — person — causality theorist cited in the Atheist Bible's Truth chapter; recognizable AI/epistemics figure (The Book of Why), could anchor a causality-in-AI cluster.
- Zacchary Sadeddine — person — co-author with Suchanek of the 2025 VANESSA paper on verifying deductive reasoning chains; a live link between Suchanek's academic output and this side project.
- VANESSA (Verifying the Steps of Deductive Reasoning Chains) — concept/paper — 2025 Suchanek co-authored work on reasoning-chain verification, potentially relevant to the KG-completeness cluster already in the vault.
- Gregory Chaitin — person — algorithmic-information-theory figure (compression/complexity as comprehension), cited in the book.
- Diderik Batens — person — logician (relevant implication, weak deduction theorem), cited in the book.
Source
“In formal logic, the removal of useless premises corresponds to Church's weak deduction... Zacchary Sadeddine and Fabian M. Suchanek: "Verifying the Steps of Deductive Reasoning Chains (VANESSA)", Findings of the Association of Computational Linguists, 2025”
claude-sonnet-5 · Batch research run, 2026-07-22, answering 50-questions/question-verify-atheist-bible-independent-confirmation.md · raw markdown