- See Gödel numbering.
Philosophy dictionary. Academic. 2011.
Look at other dictionaries:
arithmetization — arith·me·ti·za·tion … English syllables
arithmetization — əˌrithməd.ə̇ˈzāshən, əˌtīˈz ; ˌa(ˌ)rithˌmed.ə̇ˈz noun ( s) : the treatment of various branches of higher mathematics by methods involving only the fundamental concepts and operations of arithmetic … Useful english dictionary
Arithmetization of analysis — The arithmetization of analysis was a research program in the foundations of mathematics carried out in the second half of the 19th century. Its main proponent was Weierstrass, who argued the geometric foundations of calculus were not solid… … Wikipedia
Logic and the philosophy of mathematics in the nineteenth century — John Stillwell INTRODUCTION In its history of over two thousand years, mathematics has seldom been disturbed by philosophical disputes. Ever since Plato, who is said to have put the slogan ‘Let no one who is not a geometer enter here’ over the… … History of philosophy
analysis — /euh nal euh sis/, n., pl. analyses / seez /. 1. the separating of any material or abstract entity into its constituent elements (opposed to synthesis). 2. this process as a method of studying the nature of something or of determining its… … Universalium
Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… … Wikipedia
True quantified Boolean formula — The language TQBF is a formal language in computer science that contains True Quantified Boolean Formulas. A fully quantified boolean formula is a formula in first order logic where every variable is quantified (or bound), using either… … Wikipedia
mathematics, foundations of — Scientific inquiry into the nature of mathematical theories and the scope of mathematical methods. It began with Euclid s Elements as an inquiry into the logical and philosophical basis of mathematics in essence, whether the axioms of any system… … Universalium
Бахтияров, Камиль Ибрагимович — (р. 21.06.1934) спец. по логике; канд. техн. наук, д р филос. наук, проф. Род. в Москве. Окончил Моск. инж. строительный ин т (1957) и механико матем. ф т МГУ (1965). С 1971 преп., затем доц. кафедр высшей математики Военно инж. академии и… … Большая биографическая энциклопедия
Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic. The field includes both the mathematical study of logic and the… … Wikipedia