Concepedia

Simon Kochen

SK

10

Publications

2.4K

Citations

10

H-Index

1961

Active since

Affiliations

Princeton University(Current)

Simon Kochen is an author at Princeton University specializing in engineering, automated reasoning, and quantum computing.

Top concepts

EngineeringQuantum ScienceQuantum ComputingAutomated ReasoningQuantum EntanglementEntropyAutonomyProbabilityFormal MethodsQuantum Field Theory

Publications per year

1961–2015

10

Publications

10

The Problem of Hidden Variables in Quantum Mechanics

Simon Kochen, E. Specker · Indiana University Mathematics Journal · 1967 · 1.1K citations

Quantum Science, Engineering, Quantum Computing +4

The Free Will Theorem

J. Conway, Simon Kochen · Foundations of Physics · 2006 · 369 citations · Full text

Free Will Theorem, Automated Reasoning, Autonomy +2

Diophantine Problems Over Local Fields I

James Ax, Simon Kochen · American Journal of Mathematics · 1965 · 282 citations

Computational Number Theory, Finite Field, Diophantine Analysis

Ultraproducts in the Theory of Models

Simon Kochen · Annals of Mathematics · 1961 · 179 citations

Algebraic Logic, Engineering, Automated Reasoning +10

Diophantine Problems Over Local Fields: III. Decidable Fields

James Ax, Simon Kochen · Annals of Mathematics · 1966 · 142 citations

Computational Number Theory, Elementary Axioms, Ring Theory +8

Rows per page

1–5 of 10