...алгоритъмът за намиране на доказателства в произволна формална система винаги е налице, ако само системата допуска някакво доказателство. (Роджър Пенроуз)

...алгоритъмът за намиране на доказателства в произволна формална система винаги е налице, ако само системата допуска някакво доказателство.

Роджър Пенроуз

Свързани теми

алгоритъм доказателство допуск намиране система

Подобни цитати

Аз съм доказателство, че американската мечта все още съществува. Все още е жива и здрава. Има само един трик, трябва да сте готови да запретнете ръкави и да работите много, много усилено. Вижте цитата
Паула Дийн
Да се създаде език е невъзможно, тъй като него го твори народът; филолозите само разкриват неговите закони и ги свързват в система, а писателите творят чрез него съобразно тези закони. Вижте цитата
Висарион Белински
Тези от нас, които днес са готови да рискуват живота си за каузата, биха съжалили, че са вдигнали пръст, ако успеем да организираме само нова социална система, а не по-справедлива. Вижте цитата
Теодор Херцел
Вярвам, че всяка поезия е формална, тъй като съществува в граници, граници, които са или наследени от традицията, или ограничения, които самият език налага. Вижте цитата
Марк Странд
Стандартите за красота са произволни. Срамът за тялото съществува само до степента, в която физиката ни не съответства на собствените ни убеждения за това как трябва да изглеждаме. Вижте цитата
Марта Бек