Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

Rosser's trick · Vinony

EntityQ7369799· pop 5· linked from 8 articles

Rosser's trick

Sign in to save

method in mathematical logic

Connections

International Standard Book Number

digital object identifier

mathematical logic

Gödel's incompleteness theorems

first-order logic

elementary arithmetic

Rosser's theorem

J. Barkley Rosser

Journal of Symbolic Logic

Categories

Mathematical logic

Sources

wikipedia.externallinksexternallink

What links here8 pages

J. Barkley Rosser

Sterling Hall bombing

Gödel's incompleteness theorems

Rosser's theorem

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Kenneth A. Ross

Entitydist 0.49

Herbrand's theorem

Entitydist 0.50

Entitydist 0.54

Entitydist 0.55

Entitydist 0.55

José Bonet Solves

Entitydist 0.56

combinatorial principle

Entitydist 0.58

Aristotelian logic

Entitydist 0.58

Entitydist 0.58

Entitydist 0.59

Entitydist 0.59

Richard Jeffrey

Entitydist 0.59