О Гёделе. Статьи

Main
О Гёделе. Статьи

О Гёделе. Статьи

Хинтикка Я., Гёдель К.(Hintikka J., Goedel K.)

0 / 0

Bu kitabı ne kadar beğendiniz?

İndirilen dosyanın kalitesi nedir?

Kalitesini değerlendirmek için kitabı indirin

İndirilen dosyaların kalitesi nedir?

Yıl:

2014

Yayımcı:

Канон+

Dil:

russian

Sayfalar:

256

ISBN 10:

5883734200

ISBN 13:

9785883734204

Dosya:

DJVU, 1.90 MB

IPFS:

,

russian, 2014

Online Oku

'e dönüştürme devam ediyor

dosyasına dönüştürme başarısız oldu

İlginizi çekebilir

Целищев В.В. — Онтология математики: Объекты и структуры

Коротков М.А.;Котов В.М.;Степанов Е.О. — Математическая логика и основы теории алгоритмов

Молодший В.Н. — Очерки по философским вопросам математики.

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

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

— Очерки о математике

— Очерки о математике

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

— Закономерности развития современной математики

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

Вапник В.Н. — Очерки о математике (сборник статей)

— Вначале была ак сиома. Гильберт. Основания математики

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

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

Морис Клайн — Математика. Утрата определенности.

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

— Гильберт: Основания математики

Вапник В.Н. — Очерки о математике

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

Владимир Андреевич Успенский — Апология математики (сборник статей)

Сурыгин А.И. — Математика и информатика. Концепции математики

Владимир Андреевич Успенский — Апология математики (сборник статей)

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

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

Клайн Морис — Математика. Утрата определенности

Крайзель Г. — Исследования по теории доказательств

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

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

Крайзель Г. (Kreisel G.) — Исследования по теории доказательств. Сборник статей

Перминов В.Я. — Развитие представлений о надёжности математического доказательства

фон Мизес Р., Дьёдонне Ж. — Очерки о математике. Сборник статей

Гильберт Давид — Математическое мышление (+ комментарий С.С. Демидова)

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

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

фон Мизес Р., Дьёдонне Ж. — Очерки о математике. Сборник статей

Anahtar ifadeler

математики

множеств

арифметики

философии

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

существует

предложения

качестве

теоретико

утверждения

утверждение

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

множества

концепции

неполноте

математика

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

наиболее

хинтикка

являются

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

основаниях

посредством

означает

концепций

предложение

множество

согласно

гильберта