applied+logic

  • 111Field of sets — Set algebra redirects here. For the basic properties and laws of sets, see Algebra of sets. In mathematics a field of sets is a pair where X is a set and is an algebra over X i.e., a non empty subset of the power set of X closed under the… …

    Wikipedia

  • 112Propædia — The one volume Propædia is the first of three parts of the 15th edition of Encyclopædia Britannica, the other two being the 12 volume Micropædia and the 17 volume Macropædia. The Propædia is intended as a topical organization of the Britannica s… …

    Wikipedia

  • 113Anti-psychologism — is a thesis about the nature of logical truth, that it does not depend upon the contents of human ideas but exists independent of human ideas. The term was coined by Gottlob Frege, and has been the centre of an important debate in analytical… …

    Wikipedia

  • 114Luis Moniz Pereira — Luís Moniz Pereira was born in 1947 in Lisbon, Portugal and is currently Professor of Computer Science and Director of the AI centre at Universidade Nova de Lisboa. His research is in the field of logic programming and in knowledge representation …

    Wikipedia

  • 115Georg Kreisel — (* 15. September 1923 in Graz) ist ein englisch US amerikanischer Logiker und Mathematiker. Er wurde in Österreich geboren und aufgrund seines jüdischen Hintergrundes vor dem Einmarsch der Nationalsozialisten in Österreich 1938 von seinen Eltern… …

    Deutsch Wikipedia

  • 116Jean-Yves Béziau — (* 15. Januar 1965 in Orléans, Frankreich) ist Professor und Forscher des brasilianischen Forschungrsrates CNPq an der Universidade Federal do Ceará. Béziau ist französischer und schweizerischer Doppelbürger. Er spricht fließend Englisch,… …

    Deutsch Wikipedia

  • 117Парадокс лжеца — Парадокс лжеца: «То, что я утверждаю сейчас  ложно», или «Я лгу», или «Данное высказывание  ложь». То есть, если это высказывание истинно, значит, исходя из его содержания, верно то, что данное высказывание  ложь; но если оно  …

    Википедия

  • 118Безъё, Жан Ив — Жан Ив Безъё (родился 14 января 1965(19650114) в Орлеане, Франция) профессор Бр …

    Википедия

  • 119Безъё — Безъё, Жан Ив Жан Ив Безъё (родился 14 января 1965(19650114) в Орлеане, Франция) профессор Бразильского академического центра при Федеральном университете Цеары Бразилия. Безъё имеет двойн …

    Википедия

  • 120Juan Caramuel y Lobkowitz — (May 23, 1606 in Madrid September 8, 1682 in Vigevano) was a Spanish Catholic ecclesiastic and writer.LifeHe was a precocious child, early delving into serious problems in mathematics and even publishing astronomical tables in his tenth year.… …

    Wikipedia