mathematical logic oor Sweeds

mathematical logic

naamwoord

(logic) A subfield of logic and mathematics consisting of both the mathematical study of logic and the application of this study to other areas of mathematics, exemplified by questions on the expressive power of formal logics and the deductive power of formal proof systems.

Vertalings in die woordeboek Engels - Sweeds

matematisk logik

A subfield of mathematics with close connections to computer science and philosophical logic.

The guidelines, exemption regulations and mathematical logic favour Lodato’s formula
Riktlinjerna, undantagsförordningarna och den matematiska logiken talar för den lösning som Lodato förespråkar

voorbeelde

The guidelines, exemption regulations and mathematical logic favour Lodato’s formula
Riktlinjerna, undantagsförordningarna och den matematiska logiken talar för den lösning som Lodato förespråkar

He combines mathematical logic with romantic inconsistency.
Han kombinerar matematisk logik med romantisk oförenlighet.

Touch-typing skills and a mathematically logical way of thinking are important factors for the future.
Att behärska tiofingersystemet och det matematiska och logiska tänkandet är viktiga framtidsfaktorer.

But she has a mathematical logic in her apparent madness.
Men det finns en matematisk logik i hennes skenbara galenskap.

There is something attractive in the apparent mathematical logic of the Tessili method, in its theoretical formulation.
Det är något tilltalande med Tessili-metodens matematiska framtoning i dess abstrakta formulering.

I was able to combine mathematical logic with romantic inconsistency.
Jag kombinerade matematisk logik med romantisk oförenlighet.

First-order logic Higher-order logic Quantifier (logic) Predicate (mathematical logic)
Matematiskt bevis Sats (logik) Teorem (logik) Härledning Härledningsbegrepp

Boolos coauthored with Richard Jeffrey the first three editions of the classic university text on mathematical logic, Computability and Logic.
Boolos var Richard Jeffreys medförfattare för de tre första utgåvorna av den klassiska universitetstexten om matematisk logik, Computability and Logic.

Nobody want quotas as an absolute but it is, as they say in mathematical logic, a necessary but insufficient condition.
Det är ju ingen som förordar kvotering för sakens egen skull. I matematiska termer handlar det om ett nödvändigt men icke-tillräckligt villkor.

Yet he left behind a body of work that influenced the development of both mathematical logic and the history of science.
Det verk han efterlämnade har påverkat utvecklingen inom både matematisk logik och vetenskapens historia.

The world of mathematical logic is a ludicrously small one, and to cap it all he got some alarming news from America.
Den matematiska logiken är en löjligt liten värld och till råga på allt fick han ett chockbesked från Amerika.

The following year, he was selected as Walter Beverly Pearson Professor of Mathematical Logic, in recognition of his contributions to the philosophy of logic and mathematics.
Han valdes 1976 till ordförande i American Philosophical Association, och nästföljande år till Walter Beverly Pearson Professor of Mathematical Logic, som ett erkännande av hans bidrag till logikfilosofin och matematiken.

42 With regard to proportionality, the United Kingdom Government, the Council and the Commission explain that the contested measures do not obey a purely mathematical logic.
42 Vad beträffar proportionalitet har Förenade kungarikets regering, rådet samt kommissionen påpekat att de omtvistade åtgärderna inte följer en rent matematisk logik.

Metamathematics was intimately connected to mathematical logic, so that the early histories of the two fields, during the late 19th and early 20th centuries, largely overlap.
Metamatematik var nära förknippat med matematisk logik, vilket gör att de två disciplinernas historia under 1800- och 1900-talet till stor del överlappar varandra.

In mathematical logic, a formula of first-order logic is in Skolem normal form if it is in prenex normal form with only universal first-order quantifiers.
En formel i första ordningens logik är på Skolems normalform om den är på konjunktiv prenex normalform med enbart allkvantifikatorer.

In mathematical logic, Goodstein's theorem is a statement about the natural numbers, proved by Reuben Goodstein in 1944, which states that every Goodstein sequence eventually terminates at 0.
Goodsteins teorem är inom matematisk logik ett uttalande om de naturliga talen, som Reuben Goodstein bevisade 1944, vilket säger att varje Goodstein-sekvens till slut terminerar vid 0.

In mathematical logic, the Paris–Harrington theorem states that a certain combinatorial principle in Ramsey theory, namely the strengthened finite Ramsey theorem, is true, but not provable in Peano arithmetic.
Paris-Harringtons sats är en sats inom matematisk logik som anger att den starka ändliga varianten av Ramseys sats (som tillhör Ramseyteorin) är sann, men inte bevisbar i Peanoaritmetik.

More recently, mathematical logic has often included the study of new pure mathematics, such as set theory, recursion theory and pure model theory, which is not directly related to metamathematics.
Under senare tid har matematisk logik ofta inbegripit studiet av ren matematik, såsom mängdteori, rekursionsteori och ren modellteori, som inte är direkt relaterade till metamatematik.

The logical positivists had a very high regard for the natural sciences, and also for mathematics and logic.
De logiska positivisterna hade mycket höga tankar om naturvetenskapen, och även om matematiken och logiken.

In mathematical logic, the Peano axioms, also known as the Dedekind–Peano axioms or the Peano postulates, are axioms for the natural numbers presented by the 19th century Italian mathematician Giuseppe Peano.
Peanos axiom (även kallad Dedekind–Peanos axiom) är en mängd axiom för de naturliga talen som presenterades av de den italienska matematikern Giuseppe Peano.

Research suggests that for most people the brain’s left hemisphere is the seat of verbal, mathematical, logical, and other analytical functions, whereas the right hemisphere seems to favor things like music and art.
Forskningen tyder på att hos de flesta människor är vänstra hjärnhalvan sätet för verbala, matematiska, logiska och andra analytiska funktioner, under det att högra hjärnhalvan tycks favorisera sådant som konst och musik.

Harvard awarded Wiener a Ph.D. in 1912, when he was merely 17 years old, for a dissertation on mathematical logic, supervised by Karl Schmidt, the essential results of which were published as Wiener (1914).
Harvard tilldelade Wiener en doktorstitel 1912, då han var knappt 18 år, för en dissertation över matematisk logik, som översågs av Karl Schmidt.

It includes mathematics and logic, for if we try to disobey their laws, thought itself becomes impossible.
Det innefattar matematiken och logiken, för om vi försöker bryta mot deras lagar blir själva tänkandet omöjligt.

How, then, can we say that the reasonings of mathematics are logical in their nature?
Hur kan man då påstå att matematikens slutledningar till sin natur är logiska?

Kitty reports the Center for Applied Mathematics and Logic is not the sponsor of Belphegor's Prime.
Kitty säger att Center för Applicerad Matematik och Logik inte ligger bakom Belphegors primtal.