Поисковый запрос: (<.>A=Хлебалин, А. В.$<.>) |
Общее количество найденных документов : 18
Показаны документы с 1 по 18 |
1.
| Хлебалин А. В. Языковые предпосылки в философии математики/А. В. Хлебалин // Философия науки, 2006,N N 4.-С.45-61
|
2.
| Бессонов А. В. Можно ли доказать тезис Черча?/А. В. Бессонов, А. В. Хлебалин, В. В. Целищев // Философия науки, 2008,N N 2.-С.44-61
|
3.
| Целищев В. В. Представление знания как проблема эпистемологии теоретических конструкций/В. В. Целищев, А. В. Хлебалин // Философия науки, 2010,N N 4.-С.33-67
|
4.
| Мазаева О. Г. К истории исследования творческого наследия Г. Г. Шпета/О. Г. Мазаева // Вестник Томского государственного университета. Философия. Социология. Политология, 2010,N N 4 (12).-С.167-181
|
5.
| Хлебалин А. В. О двух концепциях в понятии истины естественного языка/А. В. Хлебалин // Философия науки, 2018,N № 3.-С.24-35
|
6.
| Целищев В. В. Минимализация следствий интенсивности в "наилучшей и самой общей версии" Второй теоремы Гёделя/В. В. Целищев, А. В. Хлебалин // Философия науки, 2019,N № 1.-С.58-69
|
7.
| Целищев В. В. Саморефлексия непротиворечивости в базисной логике формализованного математического теоретизирования/В. В. Целищев, А. В. Хлебалин // Философия науки, 2019,N № 3.-С.77-91
|
8.
| Целищев В. В. Гиперинтенсиональность в соотношении разветвленной теории типов и подстановочной теории Б. Рассела/В. В. Целищев, А. В. Хлебалин // Философия науки, 2020,N № 1.-С.76-86
|
9.
| Хлебалин А. В. Интерактивное доказательство: верификация и генерирование нового математического мышления/А. В. Хлебалин // Философия науки, 2020,N № 1.-С.87-95
|
10.
| Целищев В. В. Формальные средства в математике и концепция понимания/В. В. Целищев, А. В. Хлебалин // Философия науки, 2020,N № 2.-С.45-58
|
11.
| Целищев В. В. Интенсивность в математике и невозможные возможные миры/В. В. Целищев, А. В. Хлебалин // Философия науки, 2020,N № 3.-С.72-85
|
12.
| Целищев В. В. Парадоксы и интенсиональность в основаниях математики/В. В. Целищев, А. В. Хлебалин // Философия науки, 2021,N № 1.-С.65-75
|
13.
| Целищев В. В. О неявном интенсиональном прочтении Гёделем G2/В. В. Целищев, А. В. Хлебалин // Философия науки, 2021,N № 3.-С.76-86
|
14.
| Хлебалин А. В. Polymath и трансформация математической практики/А. В. Хлебалин // Философия науки, 2021,N № 4.-С.43-50
|
15.
| Целищев В. В. Концептуальная и формальная строгость математического доказательства/В. В. Целищев, А. В. Хлебалин // Философия науки, 2022,N № 1.-С.64-70
|
16.
| Целищев В. В. Понимание математического доказательства: логика vs. математика/В. В. Целищев, А. В. Хлебалин // Философия науки, 2022,N № 2.-С.63-74
|
17.
| Хлебалин А. В. Коллективные результаты и коллективная верифакация математического результата/А. В. Хлебалин // Философия науки, 2022,N № 4.-С.65-74
|
18.
| Хлебалин А. В. Ян Хакинг: "историк современной науки"/А. В. Хлебалин // Философия науки, 2023,N № 3.-С.177-183
|
|