Dag Prawitz

Dag Prawitz

Dag Prawitz (né en 1936) est un philosophe et logicien suédois. Il est surtout connu pour ses travaux en théorie de la démonstration et en déduction naturelle.

Liens externes


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Dag Prawitz de Wikipédia en français (auteurs)

Игры ⚽ Нужен реферат?

Regardez d'autres dictionnaires:

  • Dag Prawitz — (born 1936, Stockholm) is a Swedish philosopher and logician. He is best known for his work on proof theory and the foundations of natural deduction. Pawitz is a member of the Norwegian Academy of Science and Letters,[1] of the Royal Swedish… …   Wikipedia

  • Prawitz — ist der Vorname folgender Personen: Prawitz Öberg (1930–1995), schwedischer Fußballspieler Prawitz ist der Familienname folgender Personen: Dag Prawitz (* 1936), schwedischer Philosoph Erich Prawitz (1882–nach 1933), deutscher Staatsbeamter …   Deutsch Wikipedia

  • Dag (name) — Contents 1 Given name 2 Nickname 3 Surname 4 Fictional c …   Wikipedia

  • Dag (homonymie) — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom.  Pour l’article homophone, voir dague. Dag est le dieu du jour dans la mythologie nordique. Un dag (de la terminologie anglaise « directed… …   Wikipédia en Français

  • Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… …   Wikipedia

  • Peter Pagin — (born 1953) is Professor of Philosophy at Stockholm University. He is a specialist in the philosophy of language and has worked extensively on foundational issues in semantics and on technical and philosophical problems about the compositionality …   Wikipedia

  • Statistical inference — In statistics, statistical inference is the process of drawing conclusions from data that are subject to random variation, for example, observational errors or sampling variation.[1] More substantially, the terms statistical inference,… …   Wikipedia

  • Proof theory — is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively defined data structures such as plain lists, boxed… …   Wikipedia

  • List of logicians — A logician is a person, such as a philosopher or mathematician, whose topic of scholarly study is logic. The famous logicians are listed below in English alphabetical transliteration order (by surname).compactTOC NOTOC A * Nate Ackerman (USA,… …   Wikipedia

  • Formal semantics — See also Formal semantics of programming languages. Formal semantics is the study of the semantics, or interpretations, of formal languages. A formal language can be defined apart from any interpretation of it. This is done by designating a set… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”