ateist66 (ateist66) wrote,
ateist66
ateist66

О неполноте

0_b2dc0_d2707249_XL

Великий австрийский математик Гёдель в 1931 году доказал теорему о неполноте. Строго математически звучит она так: «При определенных условиях относительно фундаментальной пары ‹L, T› не существует такой дедуктивной системы ‹Р, Р, d› над L, которая была бы одновременно полна и непротиворечива относительно ‹L, T›».
Здорово?!! Это же многое объясняет!

Чтобы было более понятно, можно переформулировать иначе: «В любом языке существуют истинные, но недоказуемые утверждения».

Ну а если совсем по простому, по сермяжному, то наверное так:
«Что такое вода?» – «Жидкость, сынок». – «А что такое жидкость?» – «Одно из состояний вещества, сынок». – «А что такое вещество?» – «Ну-у… Это материя. Это все, что нас окружает, сынок». – «А что такое материя?» – «Пошел ты на хрен, сынок…»

Из Никонова.
Tags: размышления
Subscribe
promo ateist66 march 22, 2018 20:50 9
Buy for 100 tokens
Жена, придя с работы, огорошила вопросом: Ты заешь, что такое "копра"? Отвечаю: Да, конечно знаю - сушёная мякоть кокосового ореха. Ну или жук такой есть - копр. Еще есть баба копра. Жена удивилась: А это еще кто? Я объяснил. И добавил, что есть еще одно значение, как бы помягче выразится,…
  • 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 

  • 6 comments