GDEL, KURT

Meaning of GDEL, KURT in English

Kurt Gdel

FOLDOC computer English dictionary. Английский словарь по компьютерам FOLDOC. 2012

KURT — [c mediumvioletred] (as used in expressions) Cobain Kurt Eisner Kurt Gödel Kurt Jooss Kurt Lewin Kurt Schleicher Kurt von Schuschnigg …
Английский словарь Британика
KURT — /kerrt/ , n. a male given name.
Random House Webster's Unabridged English Dictionary
KURT — n. male first name; family name
Толковый словарь английского языка - Редакция bed
KURT — Kurt BrE AmE kɜːt kʊət AmE kɝːt —German [ kʊʁt \]
Longman Pronunciation English Dictionary
KURT — n. Cobain Kurt Eisner Kurt Gödel Kurt Jooss Kurt Lewin Kurt Schleicher Kurt von Schuschnigg Kurt von Schwitters Kurt Vonnegut …
Britannica Concise Encyclopedia
KURT — turk
Anagrams English vocabulary
KURT — Kurt
Большой Англо-Русский словарь
KURT — Kurt
Большой Англо-Русский словарь
KURT — Kurt
Новый большой Англо-Русский словарь
KURT — Kurt
Новый большой Англо-Русский словарь
WALDHEIM, KURT
Английский словарь Британика
VONNEGUT, KURT, JR. — born Nov. 11, 1922, Indianapolis, Ind., U.S. U.S. novelist. He attended Cornell University and the University of Chicago. Captured by …
Английский словарь Британика
WEILL, KURT
Britannica English vocabulary
WALDHEIM, KURT
Britannica English vocabulary
WEILL, KURT — Weill, Kurt /vaɪl, kɜːt $ kɜːrt/ BrE AmE (1900–50) a German ↑ composer , who is best known for writing …
Longman Dictionary of Contemporary English
WALDHEIM, KURT
Longman Dictionary of Contemporary English
VONNEGUT, KURT — Von ‧ ne ‧ gut, Kurt /ˈvɒnəɡʌt, ˈvɒnɪɡʌt $ ˈvɑːn-, kɜːt $ kɜːrt/ BrE AmE (1922–2007) a US writer known …
Longman Dictionary of Contemporary English
COBAIN, KURT — Co ‧ bain, Kurt /kəʊˈbeɪn, kɜːt $ kɜːrt/ BrE AmE (1967–94) a US singer and songwriter with the group Nirvana, …
Longman Dictionary of Contemporary English
TO DO A KURT — To rise out of obsecurity, to become ordo something super-fantastic despite the people around you telling you that you can't. …
Slang English vocab
VON — [c mediumvioletred] (as used in expressions) Aehrenthal Aloys Count Lexa von Bach Alexander baron von Baer Karl Ernst knight von …
Английский словарь Британика
SET THEORY — branch of mathematics that deals with the properties of well-defined collections of objects, which may be of a mathematical nature, …
Britannica English vocabulary
PREDICATE CALCULUS — also called Logic Of Quantifiers, that part of modern formal or symbolic logic which systematically exhibits the logical relations between …
Britannica English vocabulary
NUMBER GAME — any of various puzzles and games that involve aspects of mathematics. The mathematical games that survived from Greco-Roman antiquity and …
Britannica English vocabulary
METATHEORY — a theory the subject matter of which is another theory. A finding proved in the former that deals with the …
Britannica English vocabulary
METALOGIC — the study and analysis of the semantics (relations between expressions and meanings) and syntax (relations among expressions) of formal languages …
Britannica English vocabulary
MATHEMATICS, FOUNDATIONS OF — the study of the logical and philosophical basis of mathematics, including whether the axioms of a given system ensure its …
Britannica English vocabulary
LOGIC, PHILOSOPHY OF — the study, from a philosophical perspective, of the nature and types of logic, including problems in the field and the …
Britannica English vocabulary
ALGORITHM — systematic procedure that producesin a finite number of stepsthe answer to a question or the solution of a problem. The …
Britannica English vocabulary
YEAR IN REVIEW 2001: PERFORMING-ARTS
Britannica English vocabulary
YEAR IN REVIEW 1999: PERFORMING-ARTS
Britannica English vocabulary
YEAR IN REVIEW 1998: PERFORMING-ARTS
Britannica English vocabulary
WEIL, ANDR — born May 6, 1906, Paris, France died Aug. 6, 1998, Princeton, N.J., U.S. French mathematician who was one of the …
Britannica English vocabulary
VIENNA CIRCLE — German Wiener Kreis, a group of philosophers, scientists, and mathematicians formed in the 1920s that met regularly in Vienna to …
Britannica English vocabulary
TURING MACHINE — hypothetical computing device introduced in 1936 by the English mathematician and logician Alan M. Turing. Turing originally conceived the machine …
Britannica English vocabulary
SCHLICK, MORITZ — born April 14, 1882, Berlin died June 22, 1936, Vienna German logical empiricist philosopher and a leader of the European …
Britannica English vocabulary
NAGEL, ERNEST — born Nov. 16, 1901, Nov Mesto, Bohemia, Austria-Hungary died Sept. 20, 1985, New York City American philosopher noted for his …
Britannica English vocabulary
KLEENE, STEPHEN COLE — born Jan. 5, 1909, Hartford, Conn., U.S. died Jan. 25, 1994, Madison, Wis. American mathematician and logician whose work on …
Britannica English vocabulary
ISLAMIC ARTS
Britannica English vocabulary
HILBERT, DAVID
Britannica English vocabulary
GODEL, KURT — born April 28, 1906, Brnn, Austria-Hungary died Jan. 14, 1978, Princeton, N.J., U.S. Gdel also spelled Goedel Austrian-born U.S. mathematician, …
Britannica English vocabulary
FREGE, GOTTLOB — Additional reading Works. The principal English translations of Frege's works are: J.L. Austin (trans.), The Foundations of Arithmetic: A Logico-Mathematical …
Britannica English vocabulary
COHEN, PAUL JOSEPH — born April 2, 1934, Long Branch, N.J., U.S. American mathematician who was awarded the Fields Medal in 1966 for his …
Britannica English vocabulary
BULGAR — also called Bulgarian, member of a people known in eastern European history during the Middle Ages. One branch of this …
Britannica English vocabulary
BERNAYS, PAUL — born Oct. 17, 1888, London, Eng. died 1977, Zrich, Switz. in full Paul Isaak Bernays Swiss mathematician and logician who …
Britannica English vocabulary
BACH, JOHANN SEBASTIAN — born March 21, 1685, Eisenach, Thuringia, Ernestine Saxon Duchies died July 28, 1750, Leipzig composer of the Baroque era, the …
Britannica English vocabulary
AUSTRIA
Britannica English vocabulary
ANATOLIA — Turkish Anadolu, also called Asia Minor, the peninsula of land that today constitutes the Asiatic portion of Turkey. Because of …
Britannica English vocabulary
MU — 1. < networking > The country code for Mauritius. 2. /moo/ The correct answer to the classic trick question "Have …
FOLDOC Computer English Dictionary
GOEDEL — < language > (After the mathematician Kurt Gdel ) A declarative , general-purpose language for artificial intelligence based on logic …
FOLDOC Computer English Dictionary
AXIOM OF CHOICE — < mathematics > (AC, or "Choice") An axiom of set theory : If X is a set of sets, and …
FOLDOC Computer English Dictionary
ALAN TURING
FOLDOC Computer English Dictionary
ГЁДЕЛЕВСКИЙ — adj. Gdel
Russian-English Dictionary of the Mathematical Sciences
ГЁДЕЛЬ — (Gdel, Kurt) (1906-1978), австрийский логик и математик, автор фундаментального открытия, показавшего ограниченность аксиоматического метода. Родился 28 апреля 1906 в Брно. …
Русский словарь Colier

FOLDOC Computer English Dictionary

← GB GEDANKEN→