Zoekresultaten

…aldaar, [[18 juni]] [[1980]]) was een [[Polen|Pools]] [[wiskundige]] en [[logicus]]. [[Categorie:Logicus]] …

…ijzen in de [[formele logica]]. Het systeem is bedacht door de Amerikaanse logicus [[Frederic Fitch]]. In het systeem worden [[Premisse (logica)|premissen]], …

…waarde 0. De kroneckerdelta is genoemd naar de Duitse [[wiskundige]] en [[logicus]] [[Leopold Kronecker]] ([[1823]]-[[1891]]). …

| functie = [[Filosoof]], [[logicus]] …mber]] [[2022]]) was een [[Verenigde Staten|Amerikaans]] [[filosoof]] en [[logicus]]. Hij was [[hoogleraar]] aan de [[Princeton-universiteit]]. Kripke is voor …

…er]] [[1983]]) was een [[Verenigde Staten|Amerikaans]] [[wiskundige]] en [[logicus]] van [[Polen|Pools]]-[[Jodendom|Joodse]] afkomst. Tarski heeft belangrijke …hij Amerikaans staatsburger. Hij wordt wel beschouwd als de belangrijkste logicus na [[Aristoteles]], [[Gottlob Frege]] en [[Kurt Gödel]]. Met laatstgenoemde …

…wet gekend door Griekse en [[Middeleeuwen|middeleeuwse]] denkers, zoals de logicus [[Willem van Ockham]].{{Bron?|sjabloon ipv tekst|2024|02|21}} …

Prefixnotatie is omstreeks 1920 uitgevonden door de [[Polen|Poolse]] [[logicus]] [[Jan Łukasiewicz]] als notatie voor de [[propositielogica]]. Men spreekt …

De stelling is genoemd naar de [[Verenigde Staten|Amerikaanse]] [[logicus]] en [[wiskundige]] [[Henry Gordon Rice]], die hem in 1954 in zijn proefsch …

…ste één positieve literaal. Ze zijn vernoemd naar de [[Logica (wetenschap)|logicus]] [[Alfred Horn]], die deze in [[1951]] behandelde in zijn publicatie "''On …

…] [[1932]]) was een [[Italië|Italiaans]] [[wiskundige]], [[filosoof]] en [[logicus]]. Gedurende zijn leven werkte hij aan een formele beschrijving van de reke [[Categorie:Logicus]] …

…de syllogistiek op uitspraken van de vorm „De meeste A zijn B“. Een andere logicus in Engeland is [[John Venn]], die met zijn boek „Symbolic Logic“ [[1881]]… …seerd door [[Gottlob Frege]], die als de (naast Aristoteles) belangrijkste logicus überhaupt beschouwd moet worden. In zijn ''[[Begriffschrift]]'' ([[1879]]) …

…ngen waar zijn. Het semantisch tableau is een schepping van de Nederlandse logicus [[Evert Willem Beth]].{{sfn|Beth|1955}} …

De logicus [[Augustus De Morgan]] was rond 1860 de eerste die relaties zoals tegenwoor …

[[Categorie:Logicus]] …

…art]] [[1871]]) was een [[Verenigd Koninkrijk|Britse]] [[wiskundige]] en [[logicus]]. Hij formuleerde de [[Wetten van De Morgan]] en was de eerste die het bew …t. Identiteit (overeenkomst) en verschil zijn de twee relaties die door de logicus onder de loep werden genomen; maar er zijn er vele die het bestuderen waard …

…1716]]), was een veelzijdige Duitse [[wiskundige]], [[filosoof]], [[Logica|logicus]], [[Lijst van natuurkundigen|natuurkundige]], [[historicus]], [[Jurist|rec [[Categorie:Logicus]] …

| functie = [[filosoof]], [[logica|logicus]], [[scheikunde|chemicus]] …ragen heeft geleverd, zag hij zichzelf voornamelijk en vooral als [[logica|logicus]]. Hij heeft dan ook vele bijdragen aan de logica gedaan, hoewel wel moet… …

…ntdekt door de Amerikaanse [[wiskundige]] [[Haskell Curry]] en de [[Logica|logicus]] [[William Alvin Howard]]. Het is de link tussen logica en berekening die …

[[Categorie:Duits logicus]] …

* [[1866]] - [[Kazimierz Twardowski]], Pools filosoof en logicus (overleden [[1938]]) …