یک نتيجه‌ی ناتمامیت گودل برای علم حساب، این هست که منطق مرتبه دوم هم ناتمام هست. این رو من شنیده بودم، ولی مطالعه‌اش نکرده بودم، در این مقاله هنکین به این مطلب اشاره کرده.
این تمایز بین منطق مرتبه اول و منطق مرتبه دوم بسیار مهم هست.
در منطق مرتبه اول هر مطلبی که درست باشه، قطعا براش اثباتی وجود داره، ولی منطق مرتبه دوم اینطور نیست.
و چیزی که من رو آزار میده این هست که فلاسفه این رو درک نمی‌کنند که تفلسف‌شون در بین مفاهیمِ مرتبه اول هست یا مرتبه دوم.
یک نتيجه‌ی ناتمامیت گودل برای علم حساب، این هست که منطق مرتبه دوم هم ناتمام هست. این رو من شنیده بودم، ولی مطالعه‌اش نکرده بودم، در این مقاله هنکین به این مطلب اشاره کرده.
این تمایز بین منطق مرتبه اول و منطق مرتبه دوم بسیار مهم هست.
در منطق مرتبه اول هر مطلبی که درست باشه، قطعا براش اثباتی وجود داره، ولی منطق مرتبه دوم اینطور نیست.
و چیزی که من رو آزار میده این هست که فلاسفه این رو درک نمی‌کنند که تفلسف‌شون در بین مفاهیمِ مرتبه اول هست یا مرتبه دوم.
Telegram is a leading cloud-based instant messages platform. It became popular in recent years for its privacy, speed, voice and video quality, and other unmatched features over its main competitor Whatsapp. Ng was convicted in April for conspiracy to incite a riot, public nuisance, arson, criminal damage, manufacturing of explosives, administering poison and wounding with intent to do grievous bodily harm between October 2019 and June 2020. With Bitcoin down 30% in the past week, some crypto traders have taken to Telegram to “voice” their feelings. The best encrypted messaging apps How to create a business channel on Telegram? (Tutorial)
from us
