Results for metamathematics translation from English to German

logic, semantics, metamathematics.
logic, semantics, metamathematics.

... tarski destroyed the borderline between metamathematics and mathematics.
insbesondere hat seine wahrheitsauffassung den us-amerikanischen philosophen donald davidson beeinflusst.

metamathematics is the study of mathematics itself using mathematical methods.
metamathematik ist die mathematische betrachtung der grundlagen der mathematik.

his doctorate from the hebrew university in 1949 was the metamathematics of algebraic systems and this became his first book published in 1951.
seine promotion von der hebräischen universität in 1949 war die metamathematics algebraischer systeme und dies wurde sein erstes buch veröffentlichte im jahre 1951.

he weaved his many contributions and papers into a treatise introduction to model theory and to the metamathematics of algebra published in 1963. engeler wrote:
er gewebte seinen vielen beiträgen und papiere in eine abhandlung einführung in die theorie und modell auf der metamathematics der algebra veröffentlichte im jahr 1963. engeler schrieb:

kleene's best known books are introduction to metamathematics (1952) and mathematical logic (1967).
kleene's bekanntesten bücher sind introduction to metamathematics (1952) und mathematische logik (1967).

"logic, semantics, metamathematics: papers from 1923 to 1938 by alfred tarski", corcoran, j., ed.
akademie-verlag, berlin 1983, s. 445–546, in englischer sprache in tarski: "logic, semantics and metamathematics - papers from 1923 to 1938 by alfred tarski.

in metalogic and metamathematics, frege's theorem is a metatheorem that states that the peano axioms of arithmetic can be derived in second-order logic from hume's principle.
gottlob frege bewies 1884 in "die grundlagen der arithmetik" informal, dass peano-axiome der arithmetik aus humes prinzip mittels einer logik zweiter stufe abgeleitet werden können.

in 1946 he was awarded a master's degree from the hebrew university in jerusalem and, following this, he began research at london university receiving a ph.d. from london in 1949 for pioneering work in model theory and the metamathematics of algebraic systems.
im jahre 1946 erhielt er einen master's degree von der hebräischen universität in jerusalem und im anschluss an diese begann er mit der forschung an der universität london erhalten einen ph.d. aus london im jahr 1949 für pionierarbeit auf dem gebiet der modelltheorie und der metamathematics algebraischer systeme.