masterspammer (masterspammer) wrote,
masterspammer
masterspammer

Categories:

Вопрос задать кому

Ещё один странный вопрос, который совершенно некому задать.

Предисловие/введение:

В основании математики (и, кстати, логики) лежат примитивы, полученные обобщение закономерностей реального мира. Макромира. Для того, чтобы математика смогла описывать микромир, ей потребовалось построить не один уровень абстрактных надстроек и расширений. При этом из законов микромира законы макромира явно и точно следуют (здесь имеется в виду "наш макромир", не уровень свёзд и галактик), хотя порой и с неприемлемой на практике вычислительной сложности.

Собственно вопрос:
Принимались ли кем-либо попытки взять обобщения законов микромира за аксиоматические основы математики (а не последовательность объектов как основание счёта и арифметики) и построить такую математику ? Что там с логикой (на квантовом уровне многое по другому, может и логика будет оперировать с другими объектами и операциями)? Будет ли такая логика (вероятно будет) применима к высказываниям о самой теории? Если да, то как в такой математике с аналогией  теоремы о неполноте (сами понятия высказывания, истинности и доказательства будут явно другими)? Или вдруг она будет полна...?
Tags: Философское, ХочетсяСтранного
Subscribe

  • (no subject)

    На неделе периодически "кормил" себя приятными занятиями, музыку слушал, один раз проспал почти 12 часов. Сил прибыло. За выходные внезапно очень…

  • (no subject)

    Дети притащили из школы ротовирус - так-то это довольно регулярная болячка, хотя штаммами разнится как грипп - на этот раз досталось сыну и чуть…

  • Заскочил, значит, за проводочками...

    Хотел в гости зайти к знакомому дедушке/дядюшке, звоню, а он умер сегодня... P.S. Да, именно covid...

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 2 comments