A Survey of Proof Theory
Separating the foundations of mathematics from philosophy. Difference between the theory of formal systems theory and evidence. Classical first order predicate logic. Elementary and full analysis. Existing proof theory. Infinitely long expressions.
| Рубрика | Математика |
| Предмет | Mathematics |
| Вид | статья |
| Язык | английский |
| Прислал(а) | G. Kreisel |
| Дата добавления | 09.09.2012 |
| Размер файла | 4,4 M |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Construction of the general algorithm for integration of the linear usual distinctive equation. Creation of the common decision of the differential equation. An example of the decision of linear systems. Definition of components of certain functions.
учебное пособие [2,4 M], добавлен 03.10.2011The great encyclopedic of the Middle Ages Abu Raihon Muhammad ibn Ahmad al-Beruniy, who had been famous with the pseudonym "Ptolemy". Measuring the Distance on the Ground and the Height of a Mountain. The Distances between the Celestial Bodies.
реферат [138,7 K], добавлен 21.03.2008Review of concepts, forms and different ways of representing the methods of mathematical induction, characterization of its ideas and principles. Features of a multimedia learning object students and teachers on the example of the University of Latvia.
реферат [1,1 M], добавлен 11.02.2012Узагальнення учбового матеріалу шкільного курсу алгебри в розділі "Рівняння та нерівності"; розробка пропозицій щодо використання програмно-графічного комплексу Microsoft Mathematics 4.0 для впровадження інтегрованих інноваційних методологій викладання.
дипломная работа [2,2 M], добавлен 16.06.2013Огляд існуючих програмних комплексів. Особливості Finite Difference Time Domain Solution. Метод кінцевих різниць у часовій області. Граничні умови PEC симетрії і АВС. Проблема обчислення граничних полів. Прості умови поглинання. Вибір мови програмування.
курсовая работа [242,5 K], добавлен 19.05.2014Characteristics of the main two-dimensional, three-dimensional and n-dimensional geometric shapes, their use in mathematics, physics and other. Properties of two-dimensional geometric shapes arranged on the plane: polygon, triangle, quadrilateral, circle.
топик [251,8 K], добавлен 21.12.2013Definition of Leadership. Trait theory. How this theory works. Origin and Analysis and basics Pre-conditions for effective use of Trait theory. Inborn leadership characteristics. Process of impact and interaction among the leader and his followers.
реферат [436,9 K], добавлен 24.09.2014Analysis of Rousseau's social contract theory and examples of its connection with the real world. Structure of society. Principles of having an efficient governmental system. Theory of separation of powers. The importance of censorship and religion.
статья [13,1 K], добавлен 30.11.2014A cosmological model to explain the origins of matter, energy, space, time the Big Bang theory asserts that the universe began at a certain point in the distant past. Pre-twentieth century ideas of Universe’s origins. Confirmation of the Big Bang theory.
реферат [37,2 K], добавлен 25.06.2010Public choice is an application of neoclassical economic tools. James Buchanan the developer of the Theory of the Public choice. The most important contribution of Public Choice Theory is that it recognizes that politicians are motivated by self interest.
презентация [273,0 K], добавлен 03.04.2012
