Π§ΠΈΡ‚Π°ΠΉΡ‚Π΅ ΠΊΠ½ΠΈΠ³ΠΈ ΠΎΠ½Π»Π°ΠΉΠ½ Π½Π° Bookidrom.ru! БСсплатныС ΠΊΠ½ΠΈΠ³ΠΈ Π² ΠΎΠ΄Π½ΠΎΠΌ ΠΊΠ»ΠΈΠΊΠ΅

Π§ΠΈΡ‚Π°Ρ‚ΡŒ ΠΎΠ½Π»Π°ΠΉΠ½ «АнафСм». Π‘Ρ‚Ρ€Π°Π½ΠΈΡ†Π° 254

Автор Нил БтивСнсон

Π’Ρ‹Ρ‡ΠΈΡΠ»ΠΈΡ‚Π΅Π»ΡŒΠ½Π°Ρ ΠΌΠ΅Ρ‚Π°Ρ„ΠΈΠ·ΠΈΠΊΠ°. Π—Π°Π»Ρ‚Π° Ρ‚Π²Ρ‘Ρ€Π΄ΠΎ Π²Π΅Ρ€ΠΈΡ‚ Π² Ρ„ΠΎΡ€ΠΌΠ°Π»ΠΈΠ·Π°Ρ†ΠΈΡŽ философии, Ρ‚ΠΎ Π΅ΡΡ‚ΡŒ Π² Ρ‚ΠΎ, Ρ‡Ρ‚ΠΎ философскиС утвСрТдСния ΠΌΠΎΠΆΠ½ΠΎ пСрСвСсти Π² символы Ρ„ΠΎΡ€ΠΌΠ°Π»ΡŒΠ½ΠΎΠΉ Π»ΠΎΠ³ΠΈΠΊΠΈ. Когда это сдСлано, ΠΌΠΎΠΆΠ½ΠΎ ΡΡ€Π°Π²Π½ΠΈΠ²Π°Ρ‚ΡŒ ΠΈΠ΄Π΅ΠΈ Ρ€Π°Π·Π½Ρ‹Ρ… философов, ΠΊΠ°ΠΊ Ρ„ΠΈΠ·ΠΈΠΊ сравниваСт Π΄Π²Π΅ Ρ€Π°Π·Π½Ρ‹Π΅ Ρ‚Π΅ΠΎΡ€ΠΈΠΈ, записывая ΠΈΡ… Π² Π²ΠΈΠ΄Π΅ ΡƒΡ€Π°Π²Π½Π΅Π½ΠΈΠΉ ΠΈ провСряя, ΠΏΡ€ΠΎΡ‚ΠΈΠ²ΠΎΡ€Π΅Ρ‡Π°Ρ‚ Π»ΠΈ ΠΎΠ½ΠΈ Π΄Ρ€ΡƒΠ³ Π΄Ρ€ΡƒΠ³Ρƒ ΠΈΠ»ΠΈ сводятся ΠΊ ΠΎΠ΄Π½ΠΎΠΌΡƒ Ρ‚ΠΎΠΌΡƒ ΠΆΠ΅. Π—Π°Π»Ρ‚Π° ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅Ρ‚ для Ρ€Π΅ΡˆΠ΅Π½ΠΈΡ Ρ‚Π°ΠΊΠΈΡ… Π·Π°Π΄Π°Ρ‡ ΠΊΠΎΠΌΠΏΡŒΡŽΡ‚Π΅Ρ€Π½ΡƒΡŽ ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΡƒ β€” «систСму автоматичСских рассуТдСний» PROVER9. Π­Ρ‚ΠΎ ΠΎΡ‡Π΅Π½ΡŒ Π½Π°ΠΏΠΎΠΌΠΈΠ½Π°Π΅Ρ‚ Π›Π΅ΠΉΠ±Π½ΠΈΡ†Π΅Π² замысСл ΡƒΠ½ΠΈΠ²Π΅Ρ€ΡΠ°Π»ΡŒΠ½ΠΎΠΉ символичСской Π»ΠΎΠ³ΠΈΠΊΠΈ. ΠšΡΡ‚Π°Ρ‚ΠΈ, Π²Ρ‹Ρ‡ΠΈΡΠ»ΠΈΡ‚Π΅Π»ΡŒΠ½Π°Ρ ΠΌΠ΅Ρ‚Π°Ρ„ΠΈΠ·ΠΈΠΊΠ° подсказала идСю ΠΌΡƒΠ·Ρ‹ΠΊΠΈ, ΡƒΠΏΠΎΠΌΠΈΠ½Π°Π΅ΠΌΠΎΠΉ Π² «АнафСмС». Π’ частности, ΠΆΠΈΠ²ΡƒΡ‰ΠΈΠ΅ Π½Π° Π΄Π΅Ρ€Π΅Π²ΡŒΡΡ…, ΠΎΠ΄Π΅Ρ‚Ρ‹Π΅ Π² Π½Π°Π±Π΅Π΄Ρ€Π΅Π½Π½ΠΈΠΊΠΈ Ρ„Ρ€Π°Π°, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ ΠΏΠΎΡΠ²Π»ΡΡŽΡ‚ΡΡ Π½Π° Π°ΠΊΡ‚Π°Π»Π΅ инбраса Π² Π’Ρ€Π΅Π΄Π΅Π³Π°Ρ€Π΅, Π²Ρ‹ΠΏΠΎΠ»Π½ΡΡŽΡ‚ β€” Ρ…ΠΎΡ‚ΡŒ ΠΈ ΠΎΡ‡Π΅Π½ΡŒ ΠΌΠ΅Π΄Π»Π΅Π½Π½ΠΎ β€” вычислСния Π² Π΄ΡƒΡ…Π΅ PROVER9. Они ΠΏΡ‹Ρ‚Π°ΡŽΡ‚ΡΡ Ρ€Π΅ΡˆΠΈΡ‚ΡŒ Π²Π°ΠΆΠ½ΡƒΡŽ ΠΌΠ΅Ρ‚Π°Ρ„ΠΈΠ·ΠΈΡ‡Π΅ΡΠΊΡƒΡŽ ΠΏΡ€ΠΎΠ±Π»Π΅ΠΌΡƒ, Ρ‡Ρ‚ΠΎ Ρ‚Ρ€Π΅Π±ΡƒΠ΅Ρ‚ ΠΎΡ‡Π΅Π½ΡŒ Π΄ΠΎΠ»Π³ΠΎΠ³ΠΎ Π²Ρ€Π΅ΠΌΠ΅Π½ΠΈ, ΠΏΠΎΡΠΊΠΎΠ»ΡŒΠΊΡƒ Ρƒ Π½ΠΈΡ… Π½Π΅Ρ‚ ΠΊΠΎΠΌΠΏΡŒΡŽΡ‚Π΅Ρ€ΠΎΠ².

Дэвид Π›ΡŒΡŽΠΈΡ ΠΈ ΠΌΠ½ΠΎΠΆΠ΅ΡΡ‚Π²Π΅Π½Π½ΠΎΡΡ‚ΡŒ ΠΌΠΈΡ€ΠΎΠ². Π—Π°Π»Ρ‚Π° ΠΌΠ½ΠΎΠ³ΠΎ занимался Ρ„ΠΎΡ€ΠΌΠ°ΠΌΠΈ ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠΉ, Ρ‡Ρ‚ΠΎ заставило Π΅Π³ΠΎ ΠΎΠ±Ρ€Π°Ρ‚ΠΈΡ‚ΡŒΡΡ ΠΊ Ρ‚Ρ€ΡƒΠ΄Π°ΠΌ ΠΏΠΎΠΊΠΎΠΉΠ½ΠΎΠ³ΠΎ философа Дэвида Π›ΡŒΡŽΠΈΡΠ°. Π›ΡŒΡŽΠΈΡ написал ΠΊΠ½ΠΈΠ³Ρƒ «О мноТСствСнности ΠΌΠΈΡ€ΠΎΠ²Β» β€” Π½Π°Π·Π²Π°Π½ΠΈΠ΅ покаТСтся Π·Π½Π°ΠΊΠΎΠΌΡ‹ΠΌ читатСлям «АнафСма», ΠΏΠΎΡΠΊΠΎΠ»ΡŒΠΊΡƒ Ρ‚Π°ΠΊ ΠΆΠ΅ звался мСссал, Π² ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΌ участвовал Ρ„Ρ€Π°Π° Эразмас. Π’ Π½Π΅ΠΉ Π›ΡŒΡŽΠΈΡ Π·Π°ΠΊΠ»Π°Π΄Ρ‹Π²Π°Π΅Ρ‚ основы модального Ρ€Π΅Π°Π»ΠΈΠ·ΠΌΠ°, ΠΌΠ΅Ρ‚Π°Ρ„ΠΈΠ·ΠΈΠΊΠΈ, которая (Ссли ΠΎΡ‡Π΅Π½ΡŒ Π³Ρ€ΡƒΠ±ΠΎ Π΅Ρ‘ ΠΎΠ±ΠΎΠ±Ρ‰ΠΈΡ‚ΡŒ) ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π°Π΅Ρ‚, Ρ‡Ρ‚ΠΎ всС Π²ΠΎΠ·ΠΌΠΎΠΆΠ½Ρ‹Π΅ ΠΌΠΈΡ€Ρ‹ ΡΡƒΡ‰Π΅ΡΡ‚Π²ΡƒΡŽΡ‚ ΠΈ Π½Π΅ ΠΌΠ΅Π½Π΅Π΅ Ρ€Π΅Π°Π»ΡŒΠ½Ρ‹, Ρ‡Π΅ΠΌ наш. Π—Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ модального Ρ€Π΅Π°Π»ΠΈΠ·ΠΌΠ° для «АнафСма» ΠΎΡ‡Π΅Π²ΠΈΠ΄Π½ΠΎ. Дэвид Π”ΠΎΠΉΡ‡ ΡƒΠΏΠΎΠΌΠΈΠ½Π°Π΅Ρ‚ Ρ‚Ρ€ΡƒΠ΄Ρ‹ Π›ΡŒΡŽΠΈΡΠ° Π² своих Ρ€Π°Π±ΠΎΡ‚Π°Ρ… ΠΎ ΠΌΠ½ΠΎΠ³ΠΎΠΌΠΈΡ€ΠΎΠ²ΠΎΠΉ ΠΈΠ½Ρ‚Π΅Ρ€ΠΏΡ€Π΅Ρ‚Π°Ρ†ΠΈΠΈ ΠΊΠ²Π°Π½Ρ‚ΠΎΠ²ΠΎΠΉ ΠΌΠ΅Ρ…Π°Π½ΠΈΠΊΠΈ.

Π‘Ρ‚ΠΎΠΈΡ‚ ΡƒΠΏΠΎΠΌΡΠ½ΡƒΡ‚ΡŒ, Ρ‡Ρ‚ΠΎ Π½Π° Ρ€Π°Π±ΠΎΡ‚Ρ‹ Π”ΠΎΠΉΡ‡Π° ΠΈ Π—Π°Π»Ρ‚Ρ‹ я наткнулся, занимаясь ΡΠΎΠ²Π΅Ρ€ΡˆΠ΅Π½Π½ΠΎ Ρ€Π°Π·Π½Ρ‹ΠΌΠΈ линиями исслСдования. К ΠΏΠ΅Ρ€Π²ΠΎΠΌΡƒ мСня ΠΏΡ€ΠΈΠ²Ρ‘Π» интСрСс ΠΊ Ρ„ΠΈΠ·ΠΈΠΊΠ΅, ΠΊΠΎ Π²Ρ‚ΠΎΡ€ΠΎΠΌΡƒ β€” интСрСс ΠΊ прССмству ΠŸΠ»Π°Ρ‚ΠΎΠ½-Π›Π΅ΠΉΠ±Π½ΠΈΡ†-Π“ΡƒΡΡΠ΅Ρ€Π»ΡŒ-Π“Ρ‘Π΄Π΅Π»ΡŒ. Когда ΠΎΠ±Π½Π°Ρ€ΡƒΠΆΠΈΠ»ΠΎΡΡŒ, Ρ‡Ρ‚ΠΎ ΠΎΠ±Π° ΠΎΠ½ΠΈ ΠΏΠΈΡˆΡƒΡ‚ ΠΎΠ± ΠΎΠ΄Π½ΠΎΠΌ философС, ДэвидС Π›ΡŒΡŽΠΈΡΠ΅, Ρƒ мСня Π²ΠΎΠ·Π½ΠΈΠΊΠ»ΠΎ чувство (Π±Ρ‹Ρ‚ΡŒ ΠΌΠΎΠΆΠ΅Ρ‚, Π»ΠΎΠΆΠ½ΠΎΠ΅), Ρ‡Ρ‚ΠΎ ΠΊΡ€ΡƒΠ³ Π²ΠΎΠ»ΡˆΠ΅Π±Π½Ρ‹ΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ замкнулся.

* * *

«АнафСм» ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ воспринят ΠΊΠ°ΠΊ ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎ β€” ΠΈ Π΄Π°ΠΆΠ΅ яро β€” антирСлигиозная ΠΊΠ½ΠΈΠ³Π°. Π― ΠΏΡ€Π΅Π΄Π»Π°Π³Π°ΡŽ ΠΌΠ΅Π½Π΅Π΅ ΠΎΠ΄Π½ΠΎΠ·Π½Π°Ρ‡Π½ΠΎΠ΅ Ρ‚ΠΎΠ»ΠΊΠΎΠ²Π°Π½ΠΈΠ΅. Π ΠΎΠΌΠ°Π½ написан ΠΈΡΠΊΠ»ΡŽΡ‡ΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ с Ρ‚ΠΎΡ‡ΠΊΠΈ зрСния ΠΈΠ½Π°ΠΊΠΎΠ², ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ Π² Ρ†Π΅Π»ΠΎΠΌ ΠΏΠ»ΠΎΡ…ΠΎ относятся ΠΊ Π²Π΅Ρ€ΡƒΡŽΡ‰ΠΈΠΌ, Π³Π»Π°Π²Π½Ρ‹ΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ ΠΏΠΎΡ‚ΠΎΠΌΡƒ, Ρ‡Ρ‚ΠΎ ΠΎΠ±Ρ€Π°Ρ‰Π°ΡŽΡ‚ Π²Π½ΠΈΠΌΠ°Π½ΠΈΠ΅ прСимущСствСнно Π½Π° Ρ‚Π΅Ρ… Π²Π΅Ρ€ΡƒΡŽΡ‰ΠΈΡ…, Ρ‡ΡŒΡ‘ ΠΏΠΎΠ²Π΅Π΄Π΅Π½ΠΈΠ΅ Π²Ρ‹Π·Ρ‹Π²Π°Π΅Ρ‚ ΡΠΈΠ»ΡŒΠ½Ρ‹ΠΉ страх ΠΈΠ»ΠΈ Π±Ρ€Π΅Π·Π³Π»ΠΈΠ²ΠΎΡΡ‚ΡŒ: ΠΆΡƒΠ»ΠΈΠΊΠΎΠ², ΡˆΡƒΡ‚ΠΎΠ² ΠΈ ΡˆΠ°Ρ€Π»Π°Ρ‚Π°Π½ΠΎΠ², ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… Π½Π° АрбС Π½Π΅ мСньшС, Ρ‡Π΅ΠΌ Π½Π° Π—Π΅ΠΌΠ»Π΅. Π’ Ρ€ΠΎΠΌΠ°Π½Π΅ я пытался Π½Π°ΠΌΠ΅ΠΊΠ½ΡƒΡ‚ΡŒ, Ρ‡Ρ‚ΠΎ Π΅ΡΡ‚ΡŒ ΠΈ Π΄Ρ€ΡƒΠ³ΠΈΠ΅ Π²Π΅Ρ€ΡƒΡŽΡ‰ΠΈΠ΅, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… ΠΌΠ°Π»ΠΎ Π·Π°ΠΌΠ΅Ρ‡Π°ΡŽΡ‚ ΠΈ ΠΎ ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… Ρ€Π΅Π΄ΠΊΠΎ говорят, ΠΏΠΎΡ‚ΠΎΠΌΡƒ Ρ‡Ρ‚ΠΎ ΠΎΠ½ΠΈ Π½Π΅ Π²Ρ‹ΡΡ‚Π°Π²Π»ΡΡŽΡ‚ свою Π²Π΅Ρ€Ρƒ Π½Π°ΠΏΠΎΠΊΠ°Π·. Π­Ρ‚ΠΎ Ρ‚ΠΎΠΆΠ΅ ΠΎΡ‚Ρ€Π°ΠΆΠ°Π΅Ρ‚ ΠΏΠΎΠ»ΠΎΠΆΠ΅Π½ΠΈΠ΅ Π΄Π΅Π» Π½Π° Π—Π΅ΠΌΠ»Π΅. Если Π±Ρ‹ я Π·Π°Π΄ΡƒΠΌΡ‹Π²Π°Π» «АнафСм» ΠΊΠ°ΠΊ Π°Π½Ρ‚ΠΈΡ€Π΅Π»ΠΈΠ³ΠΈΠΎΠ·Π½ΡƒΡŽ Ρ„ΠΈΠ»ΠΈΠΏΠΏΠΈΠΊΡƒ, я Π½Π΅ посвятил Π±Ρ‹ Π΅Π³ΠΎ своим родитСлям, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ всю Тизнь ΠΏΠΎΡΠ΅Ρ‰Π°ΡŽΡ‚ протСстантскиС Ρ†Π΅Ρ€ΠΊΠ²ΠΈ Π² унивСрситСтских Π³ΠΎΡ€ΠΎΠ΄ΠΊΠ°Ρ…, Π³Π΄Π΅ Π±ΠΎΠ»ΡŒΡˆΠΈΠ½ΡΡ‚Π²ΠΎ ΠΏΡ€ΠΈΡ…ΠΎΠΆΠ°Π½ Π²Π΅Ρ€ΠΈΡ‚ Π² ΡΠ²ΠΎΠ»ΡŽΡ†ΠΈΡŽ ΠΈ вовсС Π½Π΅ Π΄ΡƒΠΌΠ°Π΅Ρ‚ Ρ‚ΠΎΠ»ΠΊΠΎΠ²Π°Ρ‚ΡŒ писаниС Π±ΡƒΠΊΠ²Π°Π»ΡŒΠ½ΠΎ.

ΠŸΡ€ΠΈΠΌΠ΅Ρ‡Π°Π½ΠΈΡ

1

Бм. кальк 1.

2

Бм. кальк 2.

3

Бм. кальк 3.