Цитаты из книг автора «Джим Холт»

Первый невероятный факт: оказывается, программирование, занятия которым – сугубо мужская прерогатива, придумала женщина.

превратили в богиню киберфеминизма.

«Ада» в честь Ады Байрон, дочери лорда Байрона. И это не просто прихоть. Августа Ада Байрон, в замужестве графиня Лавлейс, как принято считать, составила первый образец того, что впоследствии назовут компьютерными программами.

природы. И ощущал, как мое тело уменьшается, тает, обращается в ничто. Но теперь мои страхи растаяли. И сменились смирением. Ведь весь этот огромный, величественный мир что-то да значит. А тогда и я что-то значу. Да-да, пусть я меньше мелкого, но тоже что-то значу. Для Господа не бывает нуля. Я еще существую».

«теорема о полноте», что вызывает некоторую путаницу. У этой теоремы есть очень интересное следствие. Возьмите любой набор утверждений, сформулированный на языке логики. И тогда теорема о полноте гарантирует, что пока эти утверждения взаимно непротиворечивы, то есть из них не следует никакого противоречия, существует такое толкование, при которой все эти утверждения истинны.

Сегодня Гёдель знаменит в первую очередь своей «теоремой о неполноте», доказанной в 1930 году, согласно которой, грубо говоря, никакая система аксиом не способна породить все математические истины.

А с прогрессом в логике в начале XX века стало проступать новое понимание логической непротиворечивости и его отношения к истинности и существованию.

Однако Джорджу Беркли этого было мало. В 1734 году он опубликовал гневную филиппику в адрес математического анализа бесконечно малых под названием «Аналитик, или Обращение к нечестивому математику»

ортодоксальному христианству («нечестивый математик», к которому он обращается, – это, как принято считать, друг Ньютона Эдмунд Галлей).

движением Ньютон преобразил телеологически-насыщенный космос Аристотеля в упорядоченную, рациональную машину, которая может служить философам образцом для переустройства человеческого общества.