Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Search

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

Peter B. Andrews · Vinony

🌐English

English Bahasa Indonesia Deutsch Español Français Italiano Nederlands Polski Português Svenska العربية فارسی 한국어 日本語

EntityQ7172598· pop 7· linked from 52 articles

Peter B. Andrews

American mathematical logician

Connections

International Standard Book Number

Categories

1937 births 2025 deaths 20th-century American mathematicians 21st-century American mathematicians American logicians Carnegie Mellon University faculty Mathematical logicians Princeton University alumni

Sources

wikipedia.externallinksexternallink

The New York Times

Entity

digital object identifier

International Standard Serial Number

mathematical logic

Princeton University

Internet Archive

Carnegie Mellon University

first-order logic

natural deduction

doctoral advisor

automated theorem proving

Sign in to save

What links here52 pages

proof assistant

Church encoding

inference engine

simply typed lambda calculus

knowledge-based system

knowledge representation and reasoning

commonsense reasoning

mathematical software

automated reasoning

case-based reasoning

Church–Rosser theorem

automated theorem proving

Church–Turing thesis

forward chaining

backward chaining

prenex normal form

Michael Kohlhase

first-order logic

higher-order logic

knowledge engineering

Similar entities

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

Harvey Friedman

Entitydist 0.27

Entitydist 0.27

Entitydist 0.30

Entitydist 0.31

Peter D. T. A. Elliott

Entitydist 0.31

Entitydist 0.33

Carl R. de Boor

Entitydist 0.34

Entitydist 0.35

Richard L. Thompson

Entitydist 0.35

Entitydist 0.35

John G. Thompson

Entitydist 0.35

Entitydist 0.35