Richard Zach

Experimental and Cognitive Psychology · 2005–2009

A researcher in the Science corpus: 2 papers; trusts 3 researchers and is trusted by 1 researcher here, as inferred from the citation graph.

Subfields

• Experimental and Cognitive Psychology — 5 citations into it; #9,083 of 9,731 by trust here, #9,580 by citations
• Theoretical Computer Science — 5 citations into it; #245 of 253 by trust here, #237 by citations

Whom Richard Zach trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Jeremy Avigad
2. David R. Hilbert
3. Stewart Shapiro
4. José Ferreirós

Who trusts Richard Zach overall

1. Jeremy Avigad

Papers from Richard Zach's perspective

Ordered by how strongly the researchers Richard Zach trusts endorse each paper. Same corpus, a different order for every researcher.

1. Number theory and elementary arithmetic
2. Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic
3. The Provenance of Pure Reason: Essays in the Philosophy of Mathematics and Its History
4. David Hilbert's lectures on the foundations of geometry 1891-1902
5. Memorizing Transformers
6. Formal Proof—The Four- Color Theorem
7. The Lean Theorem Prover (System Description)
8. Computable Analysis: An Introduction (Texts in Theoretical Computer Science. An EATCS Series)
9. Mastering Chess and Shogi by Self-Play with a General Reinforcement Learning Algorithm
10. Character Theory of Finite Groups

Their papers

• The development of mathematical logic from Russell to Tarski, 1900-1935 (2009) — 49 citations
• Hilbert's program then and now (2005) — 78 citations