Similar context phrases
Translation examples
This aim makes Frege the first to fully develop the main thesis of logicism, that mathematics is reducible to logic.
Tämä tavoite tekee Frege ensimmäinen täysin kehittää tärkeimpien thesis, Logisismi, että matematiikka on reducible sen logiikkaa.
One of the boldest attempts to apply logic to mathematics was the logicism pioneered by philosopher-logicians such as Gottlob Frege and Bertrand Russell.
Rohkein yritys soveltaa logiikkaa matematiikkaan on epäilemättä ollut filosofi-loogikoiden Gottlob Frege ja Bertrand Russell logisismi.
There he represented intuitionism while Carnap and von Neumann represented logicism and formalism respectively.
Siellä hän edusti Eettinen intuitionismi kun Carnap ja von Neumann edustettuina Logisismi ja formalismia.
Like Gottlob Frege, Russell's basic idea for defending logicism was that numbers may be identified with classes of classes and that number-theoretic statements may be explained in terms of quantifiers and identity.
Kuten Gottlob Frege, Russell's Perusajatuksena on puolustaa Logisismi oli, ett
Of equal significance during this same period was Russell's defence of logicism, the theory that mathematics was in some important sense reducible to logic.
Yhtä tärkeää aikana tämän saman ajanjakson aikana oli Russellin puolustaminen Logisismi, teoria, että matematiikka oli joitakin tärkeitä mielessä reducible sen logiikkaa.
First defended in his Principles, and later in more detail in Principia Mathematica, Russell's logicism consisted of two main theses.
Ensimmäinen puolustanut hänen periaatteisiin, ja myöhemmin yksityiskohtaisemmin Principia Mathematica, Russell's Logisismi koostui kahdesta pääosasta opinnäytetöitä.
His contributions relating to mathematics include his discovery of Russell's paradox, his defence of logicism (the view that mathematics is, in some significant sense, reducible to formal logic), his introduction of the theory of types, and his refining and popularizing of the first-order predicate calculus.
Hänen rahoitusosuudet, jotka liittyvät matematiikkaan sisältyy hänen löydettyään Russellin paradoksi, hänen puolustaminen Logisismi (sitä mieltä, että matematiikka on, joitakin merkittäviä mielessä, reducible muodolliseen logiikkaan), hänen käyttöönotto teorian tyypit, ja hänen jalostus-ja popularizing, ensimmäinen - Jotta predikaattilogiikka.
Logicism one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore all mathematics is reducible to logic.
Logisismi on matematiikan filosofian suuntaus, joka piti matematiikkaa logiikan laajennuksena ja pyrki palauttamaan osan matematiikasta tai koko matematiikan logiikkaan.
With the benefit of hindsight, we can see that Couturat was in broad agreement with the logicism of Russell, while Poincaré anticipated Brouwer's intuitionism.
Couturatin voi katsoa yhtyneen Russellin ja Whiteheadin logisismiin, kun taas Poincaré tuki L. E. J. Brouwerin intuitionismia.
Hugh MacColl, Frege, Peano, Bertrand Russell, and A. N. Whitehead all shared Leibniz's dream of combining symbolic logic, mathematics, and philosophy.
Charles S. Peirce, Hugh MacColl, Gottlob Frege ja Bertrand Russell jakoivat kaikki Leibnizin unelman symbolisen logiikan, matematiikan ja filosofian yhdistämisestä (logisismi).
Despite the negative nature of the incompleteness theorems, Gödel's completeness theorem, a result in model theory and another application of mathematics to logic, can be understood as showing how close logicism came to being true: every rigorously defined mathematical theory can be exactly captured by a first-order logical theory; Frege's proof calculus is enough to describe the whole of mathematics, though not equivalent to it.
Vaikka epätäydellisyysteoreema oli luonteeltaan negatiivinen, Gödelin täydellisyyslause oli malliteorian tulos ja osoittaa, kuinka lähellä logisismi oli osoittautua todeksi: jokainen täsmällisesti määritelty matemaattinen teoria voidaan esittää ensimmäisen kertaluvun logiikan teorialla; Fregen todistuskalkyyli pystyi kuvaamaan koko matematiikan, vaikka ei vastaakaan sitä.
Put forward this logic, this logic, that logic.
Esittäkää tätä logiikkaa, tätä logiikkaa, sitä logiikkaa.
Logic Controllers - Logic Controller - Modicon M221 | Schneider Electric
Ohjelmoitat logiikat - Ohjelmoitava logiikka - Modicon M221 | Schneider Electric
Categorical structure of thinking expresses categorical logics, that highest logics of thinking, which combines intuition and reasoning logics.
Ajattelun kategoriaalinen rakenne ilmaisee kategoriaalista logiikkaa, ajattelun korkeinta logiikkaa, joka yhdistää intuition ja aivojen logiikan.
Philosophical logic is essentially a continuation of the traditional discipline called "logic" before the invention of mathematical logic.
Filosofinen logiikka jatkaa aikaisempaa ennen matemaattisen logiikan syntyä ”logiikaksi” kutsutun filosofian osa-alueen perinnettä.
Philosophical logic is the application of formal logical techniques to philosophical problems.
Filosofinen logiikka pyrkii mallintamaan filosofisesti relevantteja ilmiöitä logiikan keinoin.
The Port-Royal Logic is sometimes cited as a paradigmatic example of traditional term logic.
Port-Royalin logiikka on malliesimerkki perinteisestä termien logiikasta.
Kant famously claimed, in Logic (1800), that logic was the one completed science, and that Aristotelian logic more or less included everything about logic there was to know.
Kant väitti teoksessaan Logiikka (1800), että logiikka oli ainoa loppuun saakka kehitetty tiede ja että Aristoteleen logiikka sisälsi jo kaiken, mitkä logiikan alalta ylipäänsä voitiin tietää.
"Medieval logic" (also known as "Scholastic logic") generally means the form of Aristotelian logic developed in medieval Europe throughout roughly the period 1200–1600.
"Keskiaikaisella logiikalla" tai "skolastisella logiikalla" tarkoitetaan yleensä keskiajan Euroopassa 1200-1600 -luvuilla edelleen kehitettyä aristoteelista logiikkaa.
How many English words do you know?
Test your English vocabulary size, and measure how many words you know.
Online Test