Результаты поиска

...knowledge of [[mathematical logic]] both in the professional [[mathematics|mathematical]] community in [[Bulgaria]] and as [[popular science]]. ...ia.bg/fmi/logic/skordev/history.htm Historical notes on the development of mathematical logic in Sofia] ...

...Sofia]]. Chairman of the department in 1972-2000. Doyen and pioneer of [[mathematical logic]] research in [[Bulgaria]] who developed a Bulgarian school in the th ...al complexity theory|complexity]] in [[mathematical analysis|analysis]], [[mathematical logic]], generalized [[recursion theory]], and theory of [[computer program ...

...http://www.ams.org/profession/fellows-list List of Fellows of the American Mathematical Society], retrieved 2014-12-17</ref> ==Philosophical and mathematical work== ...

| fields = [[Mathematical Logic]] ...er=[[American Mathematical Society|AMS]]|journal=[[Notices of the American Mathematical Society]]|volume=58|issue=1|date=January 2011}}</ref> was an American mathe ...

...aic Logic'' (edited with Miklós Ferenczi and István Németi, Bolyai Society Mathematical Studies 22, Springer, 2013, {{MR|3137681}}) ...scientist)|Gyula Farkas]] Prize in applied mathematics of the János Bolyai Mathematical Society in 1978.{{r|em|cv}} In 1979, the [[John von Neumann Computer Societ ...

[[Category:Swedish logicians]] [[Category:Mathematical logicians]] ...

...De Sales Viana Serôdio Sernadas'''{{r|name}} (born 1951) is a Portuguese [[mathematical logic]]ian whose research topics have included [[Object-oriented programmin *''A Mathematical Primer on Computability'' (with A. Sernadas, J. Rasga and J. Ramos, College ...

...Computable Functions and Computably Generated Sets|series=Perspectives in Mathematical Logic|first=Robert I.|last=Soare|publisher=Springer|year=1987|isbn=97835401 * ''Mathematical Logic in the 20th Century'', World Scientific 2003 ...

{{Short description|Romanian-German mathematical logician}} '''Anca Muscholl''' (born 1967){{r|born}} is a Romanian-German [[mathematical logic]]ian and [[theoretical computer science|theoretical computer scientis ...

...= 358–366 |doi = 10.2307/1990888 | jstor = 1990888 | publisher = American Mathematical Society | doi-access = free }}<!--| accessdate = 2008-01-27 --></ref> Rice .../www.ams.org/notices/200307/inside.pdf|website=ams.org/|publisher=American Mathematical Society|access-date=6 February 2015}}</ref> ...

'''Agata Ciabattoni''' is an Italian [[mathematical logic]]ian specializing in [[non-classical logic]]. She is a full professor One of Ciabattoni's projects at TU Wien involves using mathematical logic to formalize the [[ethics|ethical]] reasoning in the [[Vedas]], a bod ...

...ριος Κεχρής}}; born March 23, 1946) is a [[Set theory|set]] theorist and [[Mathematical logic|logician]] at the [[California Institute of Technology]]. ...structure]]s. His research interests cover [[foundations of mathematics]], mathematical logic and set theory and their interactions with [[analysis]] and [[dynamic ...

| field = [[Mathematical logic]]; [[model theory]] ...nster]]) was a German [[mathematician]] whose main research interest was [[mathematical logic]].<ref name="obituary">{{cite news| first=Egon | last=Börger |author ...

...logic|philosophy]] and the [[foundations of mathematics|foundations of]] [[mathematical logic|mathematics]], as well as in the [[history of science]] and of [[hist ...[[algebraic geometry]] and whose life has fascinated many biographers and mathematical scientists.<ref>[https://webusers.imj-prg.fr/~leila.schneps/grothendieckcir ...

...tly in its sixth edition ({{ISBN|9783662580288}}). An English edition of ''Mathematical Logic'' was published in the [[Springer-Verlag]] [[Undergraduate Texts in [[Category:German logicians]] ...

...reas of mathematics, including [[differential equation]]s, [[topology]], [[mathematical logic]] and the [[foundations of mathematics]].<ref>{{cite journal|last=Kus ...ov's principle]] and [[Markov's principle#Markov's rule|Markov's rule]] in mathematical logic, [[Markov theorem|Markov's theorem]] in [[knot theory]] and [[Markov ...

...ogic'', Colloquia Mathematica Societatis János Bolyai # 54, [[János Bolyai Mathematical Society]] & [[Elsevier]] {{ISBN|0444885439}} Anellis & Houser essay in page [[Category:American logicians]] ...

He is known for his work on [[mathematical logic]] and the [[foundations of mathematics]], as well as for initiating t ...the [[University of Amsterdam]] since 2003 and was appointed professor for mathematical logic and interdisciplinary applications of logic at the [[University of Ha ...

...opositional calculus]].</ref> set of [[axiom]]s. In other words, it is a [[Mathematical proof|proof]] (including all assumptions) that can be written on a large en ...s logics that allow infinitely long [[statement (logic)|statements]] and [[Mathematical proof|proofs]]. In such a logic, one can regard the [[existential quantifie ...

{{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. ...