Özgür irade teoremi
Özgür irade teoremi John H. Conway ve Simon B. Kochen'e aittir. Seçimimizin geçmişin bir fonksiyonu olmadığı bir özgür iradeye sahipsek, birtakım varsayımlarla birlikte, bazı temel parçacıkların da aynı şekilde bu fonksiyona bağlı olmaması gerektiğini söyler. Conway ve Kochen'in bu makalesi 2006 yılında "Foundations of Physics" dergisinde yayınlanmıştır. Makalenin daha gelişmiş bir sürümünü ise 2009 yılında yayınlanmıştır.
Aksiyomlar
[değiştir | kaynağı değiştir]Teoremin ispatı Conway ve Kochen'in "fin", "spin" ve "twin" adlarını verdikleri üç aksiyoma dayanır. "Spin" ve "twin" aksiyomları deneysel olarak doğrulanabilirdir.