Sumbangan 15 September 2024 – 1 Oktober 2024 Tentang pengumpulan dana

Теорема Геделя

Main
Теорема Геделя

Теорема Геделя

Нагель Э., Ньюмен Дз.Р.(Nagel, Newman)

0 / 0

Sukakah Anda buku ini?

Bagaimana kualitas file yang diunduh?

Unduh buku untuk menilai kualitasnya

Bagaimana kualitas file yang diunduh?

Tahun:

2010

Edisi:

2изд

Penerbit:

УРСС

Bahasa:

russian

Halaman:

121

ISBN 10:

5396000929

ISBN 13:

9785396000926

File:

DJVU, 851 KB

IPFS:

,

russian, 2010

Membaca daring

Pengubahan menjadi sedang diproses

Pengubahan menjadi gagal

Mungkin Anda tertarik

Успенский В.А. — Теорема Гёделя о неполноте в элементарном изложении

Подниекс К.М. — Вокруг теоремы Геделя

Смаллиан Р. — Вовеки неразрешимое. Путь к Геделю через занимательные загадки

Линдон Р. — Заметки по логике

Гильберт Д., Аккерман В.(Hilbert D., Ackermann W.) — Основы теоретической логики

Новиков П.С. — Элементы математической логики

Фейс Р. — Модальная логика

Гейтинг А. — Обзор исследований по основаниям математики. Интуиционизм, теория доказательства

Таванец П.В. (ред.) — Проблемы логики [Сборник статей]

Нагель Э. — Теорема Гёделя

Gustavo Ernesto Pineiro — Гёдель: теоремы о неполноте

Гейтинг А. — Обзор исследований по основаниям математики

Столяр А. А. — Элементарное введение в математическую логику. Пособие для учителей

Миронов А.М. — Доказательство теоремы Гыоделя о неполноте, основанное на понятиях функционального программирования.

Смирнов В.А. (ред.) — Логический вывод. Сборник статей

Гильберт Давид, Аккерман Вильгельм — Основы теоретической логики

Гильберт Давид, Аккерман Вильгельм — Основы теоретической логики

Таванец П.В. (ред.) — Исследование логических систем [сборник статей]

Тарский А. — Введение в логику и методологию дедуктивных наук

Тарский А. — Введение в логику и методологию дедуктивных наук

Михайлов А.И. (ред.) — Исследования по неклассическим логикам и формальным системам

— Гёдель: Теоремы о неполноте

Михайлов А. Б., Швецкий М.В. — Лекции по основам математической логики. Формальные системы первого порядка. Учебное пособие для студентов математического факультета

Михайлов А. Б., Швецкий М.В. — Лекции по основам математической логики. Формальные системы первого порядка. Учебное пособие для студентов математического факультета

Гильберт Д., Аккерман В.(Hilbert D., Ackermann W.) — Основы теоретической логики

Клини С.К.(Kleene S.C.) — Введение в метаматематику

Тарский А.(Tarski A.) — Введение в логику и методологию дедуктивных наук

Клини С.К.(Kleene S.C.) — Математическая логика

Субботин А. Л. — Традиционная и современная формальная логика

Бирюков Б.В., Тростников В.Н. — Жар холодных числ и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики

Гильберт Давид, Бернайс Пауль — Основания математики. Логические исчисления и формализация арифметики

Вейль Герман — Структура математики

Фролов И.С. — Элементы математической логики

Крайзель Г. — Биография Курта Геделя

Новиков П.С. — Конструктивная математическая логика с точки зрения классической

— Сборник. Исследование логических систем.

Гильберт Д., Бернайс П. — Основания математики, в 2-х томах. Том 1. Логические исчисления и формализация арифметики

Гильберт Д., Бернайс П. — Основания математики, в 2-х томах. Том 2. Теория доказательств

Istilah kunci

непротиворечивости

доказательства

гёделевский

исчисления

математики

арифметики

доказательство

высказывание

принадлежит

переменной

посредством

выражение

геометрии

согласно

утверждение

формальной

некоторой

символов

формулой

качестве

метаматематическое

некоторое

постулатов

арифметических

некоторого

кодирования

проблема

абсолютного

высказывания

математике

последовательности

последовательность