Search results

{{Distinguish|text=the [[Gödel Prize]]}}{{Short description|Award in mathematical logic}} ...uote=Dana Scott delivered the second annual Gödel Lecture, entitled ''Will Logicians be Replaced by Machines?''}}</ref> ...

{{short description|American mathematical logician}} | known_for = [[Mathematical logic]] ...

...cia Jean Groszek''' is an American mathematician whose research concerns [[mathematical logic]], [[set theory]], [[Forcing (mathematics)|forcing]], and [[Computabi | journal = Transactions of the American Mathematical Society ...

{{Short description|Mathematical symbol}} ...ces. The article [http://www.tug.org/pracjourn/2007-3/buchsbaum A Tool for Logicians] is a tutorial on using this package. ...

...http://www.ams.org/profession/fellows-list List of Fellows of the American Mathematical Society], retrieved 2013-07-18.</ref> [[Category:American logicians]] ...

...t to [[probability theory|probability theorists]] and [[mathematical logic|logicians]].{{r|kolchin}} Reviewer Alessandro Berarducci calls the book "beautifully ...trange Logic of Random Graphs''|first=Alessandro|last=Berarducci|journal=[[Mathematical Reviews]]|year=2003|mr=1847951}}</ref> ...

...a [[set theory|set theorist]], a [[history of mathematics|historian]] of [[mathematical logic]], and a professor at the [[University of Florida]].<ref>{{Cite web|u [[Category:Mathematical logicians]] ...

...tor's paradox'' has been used to describe phenomena in [[mathematics]], [[Mathematical programming|programming]], and [[logic]], as well as other areas that invol ...ns, it can be easiest to explain through inspection of a relatively simple mathematical sequence.<ref name=Barwise40>Barwise p. 40.</ref> ...

...in techniques and in the concepts used. Svenonius' work was of the modern mathematical Svenonius' reputation as a mathematical model theorist was established with the publication of three papers in Theo ...

...rties of 0,&nbsp;1,&nbsp;+,&nbsp;×,&nbsp;<math>x^y</math>, together with [[mathematical induction|induction]] for formulas with [[bounded quantifier]]s. ...athematician)|Harvey Friedman]]'s '''grand conjecture''' implies that many mathematical theorems, such as [[Fermat's Last Theorem]], can be proved in very weak sys ...

[[Category:American logicians]] [[Category:Mathematical logicians]] ...

...ever, within that system 'true' and 'false' essentially function more like mathematical states such as binary 1s and 0s than the philosophical concepts normally as ...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 ...

...Hasenjaeger''' (1 June 1919 – 2 September 2006) was a German [[Mathematics|mathematical]] [[logic]]ian. Independently and simultaneously with [[Leon Henkin]] in 19 From the end of 1945, he studied mathematics and especially mathematical logic with [[Heinrich Scholz]] at the [[Münster University|Westfälische Wil ...

'''Albert Harold Lightstone''' (1926–1976)<ref>{{cite web |title= ''Mathematical Concepts and Methods in Science and Engineering'' |location= www.faqs.org | ...tone |first=A. H. |title=Infinitesimals |jstor=2316619 |journal=[[American Mathematical Monthly]] |date=March 1972 |volume=79 |number=3 |pages=242–251 |doi=10.230 ...

...ic|journal=Bibliopolis, Naples, Italy, 1986.}}</ref> and a number of other logicians. ...ex Wilkie|title=Counting problems in bounded arithmetic|journal=Methods in Mathematical Logic|volume=1130|year=1985|pages=317–340}}</ref> ...

...[Katsumi Nomizu]] (1984) "Trigonometry in Lorentzian geometry", [[American Mathematical Monthly]] 91(9):543&ndash;9, group of motions: p 545</ref> ...c Structures and Fields'', Dmitry Chibisov translator, page 45, [[American Mathematical Society]] {{isbn|0-8218-3929-2}}</ref> ...

...numbers. See {{cite book |author=Mendelson, Elliot |title=Introduction to Mathematical Logic ...– cannot be reduced to blind calculation!|Roger Penrose<ref>Roger Penrose. Mathematical intelligence. In Jean Khalfa, editor, What is Intelligence?, chapter 5, pag ...

{{Short description|Mathematical use of "for all" and "there exists"}} In [[mathematical logic|logic]], a '''quantifier''' is an operator that specifies how many in ...

...pher]] and [[ethicist]]. He was noted for his work in [[computability]], [[mathematical logic]] and the [[foundations of mathematics]]. ...(2016): ''[http://www.mdpi.com/2075-1680/5/2/16/pdf Contribution of Warsaw Logicians to Computational Logic]''. Axioms, Volume 5, Issue 16, 8 pages ...

{{Short description|Components of a mathematical or logical formula}} ...atical object]] while a [[Formula (mathematical logic)|formula]] denotes a mathematical fact. In particular, terms appear as components of a formula. This is analo ...