*Продвигайте всеобъемлющую серию серии: двигатель логики
Вес товара: ~0.7 кг. Указан усредненный вес, который может отличаться от фактического. Не включен в цену, оплачивается при получении.
Описание товара
Выбор редактора
Эта книга известна как одна из известных чтения книг с точки зрения логических перспектив.
Прочитав эту книгу, у вас будет более глубокое понимание основной логики западной культуры, помогая сформировать острое видение и сознание проблемы.
В 2018 году новая версия «*продвигая серии» представляет собой недавно разработанную и охватывающую обложку, простую личность, улучшает опыт чтения и пусть популярная наука даст вам больше воображения.
С книгой книга 39,6 Юань, а Ву Цзинпинг сломана и раздавлено Ван Цзе и Ву Цзинпином.СМИ обзор
Превосходная работа, книга Дэвиса не только поучительна, но и читается с удовольствием.Обсуждение технических аспектов ясно, точно и легко для понимания, а биографические очерки оживляют персонажей.…&...привлечет много людей.——&миддот;В. Доусон
автор и Мартин&Прогулка Дэвиса по истории логики и жизни ее пионеров принесет огромную пользу всем, кто работает с компьютерами, или всем, кто пытается представить будущее.—&мдаш;Джон&Миддот;Маккарти, Стэнфордский университет
Это увлекательная история исследования границ логики и машин между ними.Дэвис сочетает математические детали с анекдотами, чтобы рассказать нам, как мы пришли к пониманию границ между компьютерами и логическим мышлением.…&...Его книга ведет нас к всестороннему пониманию важной отрасли математики и логики.—— Петр&миддот; Вайнер, «Проводной»
Эта книга о происхождении компьютеров ярко рассказывает историю поиска человечеством логики и истины.Мартин&Дэвис использует эрудированный и гуманный язык, чтобы рассказать истории необыкновенных людей, заложивших основу для появления компьютеров.Эти персонажи названы в честь Алана&миддот;Тьюринг — это *, и его машины общего назначения сейчас доминируют в мировой экономике.—&Mdash; Андеру&миддот;Ходжес, «Алан&миддот;автор «Тьюринг: Невероятный человек»
Как скульптор, с любовью говорящий о камне, Мартин&миддот;Дэвис ярко описывает логику. В своем нежном описании этих идей он раскрывает нам несколько ключевых идей и символов.—&-Они часто возникают из духовных желаний—&-Как создать пространственную архитектуру, которую мы изучаем и сегодня.—— Деннис&миддот;Ся Ша, Нью-Йоркский университет
Трудно представить, чтобы кто-нибудь рассказывал историю логиков, выдвинувших идеи, которые помогли произвести революцию в компьютерах.&Middot;Дэвис более компетентен…&черт возьми; Живой, юморной, доступный, полный анекдотов и очаровательных историй.……Было очень приятно читать эту книгу.—— Браун&миддот; Бланк, Вашингтонский университет
Оглавление
Оглавление:
введение
*Глава Сон Лейбница
Глава 2 Boolete превращает логику в алгебраику
Глава III Фредс: От прорыва до отчаяния
Глава 4 Contol: Найти в Infinite
Глава 5 Спасение Хилберта
Глава VI Goth План по четкому плану
ГЛАВА VII TURING Я хочу общего компьютера
Глава 8. Разработка первой партии компьютеров общего назначения
Глава 9 Помимо мечты Лейбница
Эпилог
Аннотация
Библиография
индекс
Постмодель
Чтение в Интернете
Глава *Сон Лейбница (Часть)
Замечательные мысли Лейбниза
В 1646 году Лейбниц родился в Лейпциге, Германия.В то время Германия была разделена на более чем 1000 полуавтономных политических подразделений, которые были разрушены почти 30 -летними войнами.30 -летняя война не закончилась до 1648 года. Хотя все основные силы в Европе участвовали в этой войне, она была в основном проводилась в Германии.Отец Лейбниза был профессором философии в Университете Лейпцига, который умер, когда ребенку было всего 6 лет.К 8 годам Лейбниц начал читать коллекцию библиотеки своего отца независимо от оппозиции своего учителя.
Лейбницу суждено было стать одним из величайших математиков в истории человечества.Посвящение в математические идеи он получил от своих учителей, которые не знали о революционных математических работах в других странах Европы.В то время в Германии даже элементарная геометрия Евклида была продвинутым предметом, и ее обычно начинали изучать только на университетском уровне.Однако, когда Лейбницу было всего 10 лет, учитель познакомил его с логической системой, предложенной Аристотелем 2000 лет назад. Этот предмет пробудил в нем математические таланты и страсть.Лейбниц ответил на разделение понятий Аристотелем на фиксированные&Ldquo; категория”“&Rdquo;С такой системой символов мы можем разработать язык.Лейбниц был зависим от теории Аристотеля на протяжении всей своей жизни, и он недоволен этим.
Фактически, Лейбниц написал свою бакалаврскую диссертацию в Лейпциге, посвященную метафизике Аристотеля.Его преподавательская диссертация в том же университете была посвящена взаимосвязи философии и права.Лейбница, очевидно, также привлекало изучение права, и он получил еще одну степень бакалавра права, на этот раз написав диссертацию, в которой особое внимание уделялось применению систематической логики к праву.Первым реальным вкладом Лейбница в математику стал Habilitationsschrift (habilitationsschrift), который он написал на курсах философии, которые преподавал в университете: в качестве первого шага в своей причудливой идее системы обозначений понятий Лейбниц предвидел, что необходимо будет выяснить, сколькими различными способами можно объединить эти понятия.Это побудило его систематически изучать ряд сложных расположений основных элементов. Эта работа появляется сначала в его университетской квалификационной диссертации, а затем в более обширном трактате Dissertatio de Arte Combinatoria.
В процессе продолжающихся юридических исследований Лейбниц представил документ, чтобы получить докторскую степень по закону Университета Лейпцига.Его тема имеет типичный стиль Leibniz, то есть с использованием рациональности для решения юридических случаев, с которыми трудно рассмотреть в общих методах.По разным причинам Университет Лейпцига не принял эту статью, поэтому Лейбниц перевел его в Университет Атадорфа недалеко от Нюрнберга, где газета была хорошо принята.В возрасте 22 лет было завершено формальное образование Лейбница.
Париж
Лейбниц не очень заинтересован в преподавании в университете в Германии.Он нашел Джона, племянника императора Мейнца, Джона·Feng&Middot;Вскоре Лейбниц был назначен судьей Апелляционного суда, а также участвовал в некоторых дипломатических стратегиях, включая неудачное вмешательство избрания нового короля Польши и дворец Людовика XIV для выполнения задачи.
30 -летняя война сделала Францию гегемоном европейского континента.Меридц, расположенный на берегах Рейна, попробовал вкус быть вооруженным во время войны.В результате люди Меридцы очень ясны, чтобы не допустить, чтобы противник не выполнял военные операции и поддержал хорошие отношения с Францией.Именно в этом случае Бойнабург и Лейбниц планировали убедить Людовика XIV и его сотрудников реализовать огромные интересы Египта как военную цель.Это предложение———&- Самым важным историческим последствием было приезд Лейбница в Париж.
Лейбниц приехал в Париж в 1672 году, чтобы продвигать планы Египта и помочь решить некоторые экономические проблемы Форт-Бойна.Именно в этом году пришло известие, что Бойнербург умер от инсульта.Хотя Лейбниц продолжал служить семье Бойнербургов, он потерял надежный источник дохода.Однако ему удалось пробыть в Париже еще четыре очень продуктивных года, включая два кратких визита в Лондон.Во время своего первого визита в 1673 году он продемонстрировал компьютерную модель, способную выполнять четыре основные арифметические операции, что привело к его единогласному избранию членом Лондонского королевского общества.Хотя Паскаль разработал машину, способную выполнять сложение и вычитание, машина Лейбница впервые в истории смогла выполнять умножение и деление.Эта машина включает в себя гениальный компонент——“&Rdquo;Что касается своей машины, Лейбниц написал:
Если дать последнюю похвалу этой машине, то, пожалуй, можно сказать, что она доставит удовольствие всем, кто занимается вычислениями, а именно, как мы все знаем, тем, кто занимается финансовыми делами, распорядителями чужой собственности, купцами, геодезистами, географами, мореплавателями, астрономами.…&Hellip;…&Hellip;…&Hellip;…&Hellip;
Машина Лейбница могла выполнять только обычные арифметические действия, но он постиг более глубокий и широкий смысл машинных вычислений.В 1674 году он описал машину, способную решать алгебраические уравнения.Год спустя он написал соответствующие логические рассуждения для механического устройства, указав тем самым на цель свести рассуждения к расчётам и в конечном итоге создать машину, способную выполнять эти расчёты.
Для Лейбница, которому было 26 лет, жизненно важным событием было то, что он видел Кристиана, голландского ученого, который жил в Париже в то время&миддот; Гюйгенс.43-летний Гюйгенс ранее изобрел маятниковые часы и открыл кольца Сатурна.Его самый важный вклад—&- Волновая теория света еще не была предложена.Гюйгенс считал, что свет состоит из волн, подобно волнам, которые распространяются, когда в пруд бросают камень.Его идеи совершенно расходились с идеями великого Ньютона, который считал, что свет состоит из потока одинаковых частиц.3 Гюйгенс дал Лейбницу библиографию, которая быстро позволила молодому человеку понять современное состояние математических исследований.Лейбниц вскоре внес важный вклад.
Введение
об авторе
Об авторе:
Мартин&миддот;Мартин Дэвис — пионер в истории развития информатики. Его книга «Вычислимость и неразрешимость» считается одной из немногих настоящих классических произведений в области информатики. Он является почетным профессором Института математических наук Куранта при Нью-Йоркском университете, а затем работал приглашенным научным сотрудником в Калифорнийском университете в Беркли.
Введение переводчика:
Чжан Бутянь, родившийся в сентябре 1979 года, учился у У Гошэна. Я люблю перевод по философии и истории науки.Направление моих исследований — история научной мысли в западном средневековье и раннем Новом времени. Области моих исследований в основном сосредоточены на истоках современной науки и научной революции.