english to polish translation specializing in information technology science business tlumaczenia specjalistyczne biznesowe techniczne

Member since Jan '12

Working languages:

English to Polish

Tomasz Madry
The accuracy of the translation

England, United Kingdom

Local time: 20:51 GMT (GMT+0)

Native in: Polish

Send email
PayPal accepted

Profile

Contact

Freelancer,

Verified member

Translation, Interpreting, Website localization

Specializes in:
Games / Video Games / Gaming / Casino	Medical: Instruments
Media / Multimedia	IT (Information Technology)
Computers: Hardware	Computers: Software
Computers (general)	Business/Commerce (general)
Finance (general)	Social Science, Sociology, Ethics, etc.

English to Polish - Rates: 0.09 - 0.12 GBP per word / 12 - 16 GBP per hour

Questions answered: 2, Questions asked: 1

Sample translations submitted: 1

English to Polish: Howard DeLong "Profile of Mathematical Logic" fragm.

Source text - English
The Metatheory of Mathematical Logic

There are many different questions one can raise about systems described in preceding chapter. These questions can be of different sorts. They can be philosophical: For example, one might ask what is the nature of the objects that are assumed to exists in the various domain of discourse. They can be esthetic: For example, one might ask whether this or that formulation of propositional calculus is more elegant. They can be pragmatic: For example, one might ask whether given system is consistent.
All these kind of questions (and this list is far from complete) are metalogical questions in the sense that they concern logical systems. We shall pospone any consideration of philosophical, esthetic, or pragmatic questions until Chapter 5. Here we shall be concerned with logical questions of metalogic, in particular, with questions concerning consistency, independence, categoricalness, completness, and decision procedure. We shall discuss each in turn.
The general idea of consistency is that a statement (or system of statements) is consistent if it is possible for it to be true. This is sometimes called semantical definition of consistency, since it makes reference to truth. Semantics, as we shall understand the term, is a study of interpretations of languages, including formal languages. One way to prove the consistency of a statement or system of statements, is to show that is in fact true. As we have seen this method was used in the nineteenth century, but it does not work for many interesting systems. The idea arose that perhaps this difficulty could be avoided if the definition of consistency was changed from a semantical form to a syntactical form. Syntactics aswe shal understand this term, is study of the relations among symbols in a given language, including formal languages. We can now present a syntactical definition of consistency: A formal system is consistent if there is no formula such that both it and its negation are theorems.(...)

Translation - Polish

Metateoria Logiki matematycznej

Jest wiele różnych pytań, które ktoś mógłby zadać w związku z systemami opisanymi w poprzednim rozdziale. Mogą być filozoficzne: Na przykład, można by zapytać, jaka jest natura obiektów, których istnienie zakładamy, w różnych dziedzinach dyskursu. Mogą być estetyczne: Na przykład, czy to lub inne sformułowanie rachunku zdań, jest bardziej eleganckie. Mogą być pragmatyczne: Na przykład, czy dany system jest niesprzeczny.
Wszystkie te rodzaje pytań (lista ta jest daleka od kompletności) to kwestie metalogiczne, w sensie rozważań o systemach dedukcyjnych. Wszelkie filozoficzne, estetyczne i pragmatyczne pytania odłożymy do rozdziału piątego. Tutaj skoncentrujemy się na zagadnieniach logicznych, w szczególności na pytaniach dotyczących niesprzeczności, niezależności, kategoryczności, kompletności i procedury decyzyjnej, przedyskutujemy wszystkie po kolei.
Ogólna idea niesprzeczności jest taka, że stwierdzenie (albo system stwierdzeń) jest niesprzeczne, jeśli istnieje możliwość, że jest prawdziwe (czyli system jest niesprzeczny gdy ma model przyp. tłum.). Ta definicja nazywana jest semantyczną niesprzecznością, ponieważ odnosi się do pojęcia prawdy. Semantyka, jak rozumiemy ten termin, bada interpretację języków, również formalnych. Ktoś mógłby wykazać niesprzeczność danego systemu zdań, pokazując, że jest on, faktycznie, prawdziwy. Jak widzieliśmy, metoda ta była używana w dziewiętnastym stuleciu, ale nie działała dla wielu interesujących systemów. Rozwijała sie idea, że można by uniknąć tych trudności, gdyby zmienić definicję niesprzeczności z semantycznej na syntaktyczną. Syntaktyka, jak wiadomo, jest badaniem zależności między symbolami wewnątrz danego języka, włączając w to również języki formalne. Możemy teraz zaprezentować syntaktyczną definicję niesprzeczności: System formalny jest niesprzeczny, jeśli nie istnieje w nim formuła taka, że zarówno ona jak i jej negacja, są jednocześnie twierdzeniami systemu.(..)

Years of translation experience: 2. Registered at ProZ.com: Mar 2009. Became a member: Jan 2012.

N/A

DejaVu, Microsoft Word, SDL TRADOS, Wordfast

CV available upon request

Tomasz Madry endorses ProZ.com's Professional Guidelines (v1.0).

About me

Business, mathematics, computing, information technology, science, marketing

Specialization in difficult technical translations

2000 - 2003 Mathematics - Jagiellonial University
Since 2005 working as a translator

Keywords: technical, translation, business, computing, philosophy, IT, website, math, logic, specialize, general science, general economics, physics

Profile last updated
Jan 18

More translators and interpreters: English to Polish More language pairs

Sign in to your ProZ.com account...

Or create a new account

ProZ.com ideas


	X Sign in to your ProZ.com account... Username: Password: Forgot your password? Or create a new account