Examples of using Kreisel in English and their translations into Danish
{-}
-
Colloquial
-
Official
-
Medicine
-
Financial
-
Ecclesiastic
-
Official/political
-
Computer
Wittgenstein said that Kreisel was:….
Kreisel, reviewing the book says that it gives.
Kreisel, gennemgår bogen siger, at det giver.In 1958 in a paper Mathematical significance of consistency proof in 1958 Kreisel wrote.
I 1958 i en papir Matematisk betydningen af sammenhæng bevis i 1958 Kreisel skrev.In 1958-59 Kreisel was back in the United States, this time at Stanford.
I 1958-59 Kreisel var tilbage i USA, denne gang på Stanford.Freeman Dyson was an undergraduate at Cambridge in the same year as Kreisel and by the 1950s was at the Institute for Advanced Study.
Freeman Dyson var en undergraduate på Cambridge i samme år som Kreisel og af 1950'erne var ved Institute for Advanced Study.In 1946 Kreisel returned to Cambridge to undertake research, studying mathematical logic.
I 1946 Kreisel vendte tilbage til Cambridge at forske, studere matematisk logik.In 1961 he also published the monograph Theory of formal systems published by Princeton University Press. Kreisel, reviewing the book says that it gives.
I 1961 han også offentliggjort monografien Theory formelle systemer udgivet af Princeton University Press. Kreisel, gennemgår bogen siger, at det giver.Kreisel studied mathematics at Trinity College, Cambridge graduating with a B.A. in 1944.
Kreisel studeret matematik på Trinity College, Cambridge dimitteret med en BA i 1944.One important aspect which Kreisel worked on over a period of 30 years was his"unwinding.
Et vigtigt aspekt, som Kreisel arbejdet på over en periode på 30 år blev hans"tilbageføring.Kreisel returned to Reading in 1957 but kept up a mathematically important correspondence with Gödel.
Kreisel returneres til Reading i 1957, men holdt op en matematisk vigtig korrespondance med Gödel.During his undergraduate years Kreisel was influenced by Wittgenstein who was also at Trinity.
Under sit undergraduate år Kreisel blev påvirket af Wittgenstein der var også på Trinity.Kreisel, reviewing the book says that it gives:… the most elegant exposition of the theory of recursively enumerable(r.e.) sets in existence.
Kreisel, gennemgår bogen siger, at det giver:… den mest elegante fremstilling af teorien om rekursivt enumerable(re) apparater i eksistens.After the award of his doctorate Kreisel hoped for a Fellowship at Trinity but this was not forthcoming.
Efter tildeling af hans doktorafhandling Kreisel håbet på et stipendium på Trinity, men dette var ikke kommet.Kreisel was sent to do War Service with the Admiralty immediately his university courses were over and he began work at West Leigh near Havant and close to the naval base at Portsmouth.
Kreisel blev sendt til at gøre Krig tjeneste med Admiralty straks hans universitetskurser var forbi, og han begyndte at arbejde på West Leigh nær Havant og tæt på flådebasen i Portsmouth.But, as with his work on constructivity, Kreisel also sought to replace those by a more sophisticated stance about foundations.
Men som med hans arbejde på constructivity, Kreisel også forsøgt at erstatte dem med en mere sofistikeret holdning om fonde.Kreisel wrote: This book, which appeared just 250 years after Leibniz 's death, presents a rigorous and efficient theory of infinitesimals obeying, as Leibniz wanted, the same laws as the ordinary numbers.
Kreisel skrev: Denne bog, som syntes bare 250 år efter Leibniz's død, præsenterer en streng og effektiv teori om infinitesimals følger, som Leibniz ønskede, de samme love som de ordinære numre.He applied for academic positions and was appointed to Reading in 1949.Freeman Dyson was an undergraduate at Cambridge in the same year as Kreisel and by the 1950s was at the Institute for Advanced Study.
Han er ansøgt om akademiske stillinger og blev udnævnt til Reading i 1949.Freeman Dyson var en undergraduate på Cambridge i samme år som Kreisel og af 1950'erne var ved Institute for Advanced Study.Georg Kreisel came from a Jewish background so growing up in Graz in the 1930s was very difficult.
Georg Kreisel kom fra en jødisk baggrund, så vokser op i Graz i 1930'erne var meget vanskeligt.Through his own contributions(individual and collaborative) and his extraordinary personal influence,Georg Kreisel did perhaps more than anyone else to promote the development of proof theory and the metamathematics of constructivity in the last forty years.
Gennem sit eget bidrag(individuelle og kollaborative) og hans ekstraordinære personlige indflydelse,Georg Kreisel har måske mere end nogen anden at fremme udviklingen af bevis teori og metamathematics af constructivity i de sidste fyrre år.Kleene and Kreisel studied formal versions of intuitionistic mathematics, particularly in the context of proof theory.
Kleene og Kreisel studerede formelle versioner af intuitionistisk matematik, særligt i konteksten af bevisteori.Although he did not come with the explicit intention of staying, andthe possibility of return to Europe was open to him, Kreisel did not have strong ties to his position at Reading, a rather puzzling domicile for a person of his peculiar qualities.
Selv om han ikke kommer med den udtrykkelige hensigt at bo, ogmuligheden for at vende tilbage til Europa var åben for ham, Kreisel ikke har stærke bånd til sin holdning ved Læsning, en temmelig forvirrende bopæl for en person i hans særegne kvaliteter.In 1962 Kreisel returned to the United States and was appointed to Stanford where he remained on the staff until he retired in 1985.
I 1962 Kreisel returneret til USA og blev udnævnt til Stanford hvor han forblev på det personale, indtil han pensioneret i 1985.It aimed to substitute clear mathematical results for what were said to be vague, misplaced, crude foundational goals. But,as with his work on constructivity, Kreisel also sought to replace those by a more sophisticated stance about foundations.
Det har til formål at erstatte klare matematiske resultater for, hvad der blev sagt for at være vag, malplacerede, rå grundlæggende mål. Mensom med hans arbejde på constructivity, Kreisel også forsøgt at erstatte dem med en mere sofistikeret holdning om fonde.Wittgenstein said that Kreisel was:… the most able philosopher he had ever met who was also a mathematician.
Wittgenstein sagde, at Kreisel var:… den mest stand filosof, han nogensinde havde mødt der var også en matematiker.Verena Huber-Dyson writes in: Although he did not come with the explicit intention of staying, andthe possibility of return to Europe was open to him, Kreisel did not have strong ties to his position at Reading, a rather puzzling domicile for a person of his peculiar qualities.
Verena Huber-Dyson skriver i: Selv om han ikke kommer med den udtrykkelige hensigt at bo, ogmuligheden for at vende tilbage til Europa var åben for ham, Kreisel ikke har stærke bånd til sin holdning ved Læsning, en temmelig forvirrende bopæl for en person i hans særegne kvaliteter.Presentation Wikipedia Georg Kreisel came from a Jewish background so growing up in Graz in the 1930s was very difficult.
ATTENTION- Automatisk oversættelse fra engelsk version Georg Kreisel kom fra en jødisk baggrund, så vokser op i Graz i 1930'erne var meget vanskeligt.Kreisel's parents saw the approaching political problems and, before Hitler took over Austria, they sent Georg andhis brother to England. Kreisel studied mathematics at Trinity College, Cambridge graduating with a B.A. in 1944.
Kreisel's forældre så nærmer politiske problemer, og før Hitler overtog Østrig, de sendte Georg oghans bror til England. Kreisel studeret matematik på Trinity College, Cambridge dimitteret med en BA i 1944.During his undergraduate years Kreisel was influenced by Wittgenstein who was also at Trinity. Wittgenstein said that Kreisel was.
Under sit undergraduate år Kreisel blev påvirket af Wittgenstein der var også på Trinity. Wittgenstein sagde, at Kreisel var.Kreisel was sent to do War Service with the Admiralty immediately his university courses were over and he began work at West Leigh near Havant and close to the naval base at Portsmouth. The head of West Leigh at that time was Collingwood.
Kreisel blev sendt til at gøre Krig tjeneste med Admiralty straks hans universitetskurser var forbi, og han begyndte at arbejde på West Leigh nær Havant og tæt på flådebasen i Portsmouth. Lederen af West Leigh på daværende tidspunkt var Collingwood.He persuaded Gödel to invite Kreisel to the Institute for Advanced Study and Kreisel arrived there in the summer of 1955. Verena Huber-Dyson writes in.
Han overtalte Gödel at invitere Kreisel til Institute for Advanced Study og Kreisel ankom der i sommeren 1955. Verena Huber-Dyson skriver i.
