Search results

...ematical logic]], [[set theory]], [[Forcing (mathematics)|forcing]], and [[Computability theory|recursion theory]]. She is a professor of mathematics at [[Dartmouth [[Category:Set theorists]] ...

...[Philosophy|philosopher]] and [[ethicist]]. He was noted for his work in [[computability]], [[mathematical logic]] and the [[foundations of mathematics]]. ...vigad, Jeremy]]; Brattka, Vasco (2014): ''[https://arxiv.org/abs/1206.3431 Computability and Analysis: The Legacy of Alan Turing]''. In [[Rod Downey|Downey, Rod]] ( ...

...ample, Hardy's definition includes [[multivalued function]]s and what in [[computability theory]] are called [[partial functions]]. The second group of logicians, the set-theorists, emerged with [[Georg Cantor]]'s "set theory" (1870–1890) but were driven f ...

...ems, like [[first-order logic]], qualify as logics. For such reasons, some theorists deny that [[higher-order logic]]s are logics in the strict sense.{{sfnm|1a1 ...".{{sfnm|1a1=Maltby|1a2=Day|1a3=Macaskill|1y=2007|2a1=Dowden|1p=564}} Some theorists state that formal logic studies the general form of arguments while informa ...