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

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

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

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

0 / 0

Koliko vam se sviđa ova knjiga?

Kakav je kvalitet fajla?

Preuzmite knjigu radi procene kvaliteta

Kakav je kvalitet preuzetih fajlova?

Godina:

2014

Izdavač:

Канон+

Jezik:

russian

Strane:

256

ISBN 10:

5883734200

ISBN 13:

9785883734204

Fajl:

DJVU, 1.90 MB

IPFS:

,

russian, 2014

Čitati Online

Konvertovanje u je u toku

Konvertovanje u nije uspešno

Možda će vas zanimati

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Najčešći pojmovi

математики

множеств

арифметики

философии

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

существует

предложения

качестве

теоретико

утверждения

утверждение

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

множества

концепции

неполноте

математика

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

наиболее

хинтикка

являются

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

основаниях

посредством

означает

концепций

предложение

множество

согласно

гильберта