О генетическом методе

##plugins.themes.bootstrap3.article.main##

V.I. Shalack

Abstract

The aim of this paper is to answer the question what is the genetic method for constructing theories. The distinctive feature of genetic theories is the use of functional languages, and proof in these theories is essentially based on the structure of terms.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Papers

References

Бирюков Б.В. О научных результатах Германа и Роберта Грассманов в свете последующих исследований логики мышления // Грассман Г., Грассман Р. Логика и философия математики. Избранное. М.: Наука, 2008. С. 347-457.
Гильберт Д. Основания геометрии. ОГИЗ, Москва; Ленинград, 1948. С. 57.
Гильберт Д. О понятии числа // Основания геометрии. ОГИЗ, Москва; Ленинград, 1948. С. 315-321.
Гильберт Д., Бернайс П. Основания математики. Логические исчисления и формализация арифметики. М.: Наука, 1982.
Гудстейн Р.Л. Рекурсивная теория чисел // Рекурсивный математический анализ. М.: Наука, 1970.
Клини С.К. Введение в метаматематику. М.: Иностранная литература, 1957.
Крушинский А.А. Генетический тип дедукции — альтернатива традиционно понимаемой дедукции как выводу из аксиом // Логические исследования. Вып. 14. М.: Наука, 2007. С. 176-186.
Мордухай-Болтовский Д.Д. Комментарии // Начала Евклида. Книги I-VI. ОГИЗ, Москва-Ленингад, 1948. С. 221-446.
Начала Евклида. Книги I-VI. ОГИЗ, Москва; Ленинград, 1948.
Смирнов В.А. Генетический метод построения научной теории // Логико-философские труды В.А. Смирнова. М.: Эдиториал УРСС, 2001. С. 417-437.
Степин В.С. Теоретическое знание. М.: Прогресс-Традиция, 2003.
Шалак В.И. Логика функций vs логика отношений // Логические исследования. Вып. 16. М.: Наука. С. 259-271.
Эвклидовыхъ Началъ восемь книгъ // Пер. Ф. Петрушевского. Санкт-Петербургъ, 1819.