Search results
Jump to navigation
Jump to search
- ...uote=Dana Scott delivered the second annual Gödel Lecture, entitled ''Will Logicians be Replaced by Machines?''}}</ref> * 1991 [[Dana Scott]], ''Will Logicians be Replaced by Machines?'' ...5 KB (689 words) - 21:49, 17 February 2025
- [[Category:Mathematical logicians]] [[Category:Women logicians]] ...6 KB (798 words) - 22:51, 3 February 2025
- [[Category:Mathematical logicians]] [[Category:Women logicians]] ...7 KB (936 words) - 07:37, 28 June 2024
- [[Category:American logicians]] ...4 KB (421 words) - 16:56, 1 September 2023
- [[Category:American logicians]] ...4 KB (441 words) - 00:27, 20 February 2025
- ...ces. The article [http://www.tug.org/pracjourn/2007-3/buchsbaum A Tool for Logicians] is a tutorial on using this package. ...4 KB (552 words) - 21:46, 7 February 2025
- [[Category:Mathematical logicians]] [[Category:Women logicians]] ...8 KB (1,039 words) - 22:52, 3 February 2025
- ...paradox. An example of application can be seen in the inherent concern of logicians with the conditions of truth within a sentence, and not, in fact, with the ...7 KB (1,064 words) - 20:13, 17 September 2024
- ...t to [[probability theory|probability theorists]] and [[mathematical logic|logicians]].{{r|kolchin}} Reviewer Alessandro Berarducci calls the book "beautifully ...4 KB (607 words) - 03:35, 19 February 2025
- [[Category:American logicians]] ...4 KB (510 words) - 13:42, 6 April 2024
- [[Category:Swedish logicians]] ...5 KB (706 words) - 16:40, 7 June 2021
- [[Category:American logicians]] [[Category:Mathematical logicians]] ...11 KB (1,369 words) - 04:06, 18 June 2024
- ...tle)|categories]] despite their role in forming [[proposition]]s. Medieval logicians and grammarians thought that [[quantifier (logic)|quantifier]]s and [[logic ...6 KB (795 words) - 09:51, 4 June 2024
- ...'' whose statement involves only finitary mathematical objects (i.e., what logicians call an arithmetical statement) can be proved in EFA. EFA is the weak fragm ...7 KB (934 words) - 21:48, 17 February 2025
- ...a matter of the argument's logical form. Many techniques are employed by logicians to represent an argument's logical form. A simple example, applied to two ...9 KB (1,361 words) - 05:31, 24 January 2025
- [[Category:Polish logicians]] ...8 KB (1,111 words) - 22:18, 28 July 2023
- [[Category:German logicians]] [[Category:Mathematical logicians]] ...15 KB (2,077 words) - 14:34, 30 September 2024
- [[Category:American logicians]] ...9 KB (1,198 words) - 16:35, 27 February 2025
- ...ic|journal=Bibliopolis, Naples, Italy, 1986.}}</ref> and a number of other logicians. ...11 KB (1,582 words) - 09:00, 6 January 2025
- ...ewhere, there is at least this much to be said for Lucas and Penrose, that logicians are not unanimously agreed as to where precisely the fallacy in their argum ...21 KB (3,015 words) - 18:28, 28 February 2025