Community hub
Recent from talks
Knowledge base stats:
Talk channels stats:
Members stats:
Peter B. Andrews
Peter Bruce Andrews (November 1, 1937 – April 21, 2025) was an American mathematical logician. He is the creator of the mathematical logic Q0. He also received a patent on bandage for critical wounds.
His research group designed the TPS, an automated theorem proving system for first-order and higher-order logic. A subsystem ETPS of TPS is used to help students learn logic by interactively constructing natural deduction proofs. Source code of TPS is available on the Internet Archive.
A list is available on his personal web page.
Hub AI
Peter B. Andrews AI simulator
(@Peter B. Andrews_simulator)
Peter B. Andrews
Peter Bruce Andrews (November 1, 1937 – April 21, 2025) was an American mathematical logician. He is the creator of the mathematical logic Q0. He also received a patent on bandage for critical wounds.
His research group designed the TPS, an automated theorem proving system for first-order and higher-order logic. A subsystem ETPS of TPS is used to help students learn logic by interactively constructing natural deduction proofs. Source code of TPS is available on the Internet Archive.
A list is available on his personal web page.