This is a preview. Log in through your library . Abstract The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of ...
The Journal of Symbolic Logic (JSL) was founded in 1936 and it has become the leading research journal in the field. It is issued quarterly. Volume 71, being published during 2006, will consist of ...
Blending ‘old-fashioned’ logic systems with the neural networks that power large language models is one of the hottest trends ...
J. Burgess. "Putnam on Foundations: Models, Modals, Muddles", in G. Hellman (ed.) Hilary Putnam on Logic and Mathematics, 129-143 (2019) J. Burgess. "Logic in the Second Half of the Twentieth Century" ...
(1) A KNOWLEDGE of the techniques of symbolic logic is now almost essential for an appreciation of modern philosophical thought, with its increasing dependence upon purely formal studies such as ...
Polymath Christine Ladd-Franklin is best known for her theory of the evolution of color vision, but her research spanned mathematics, symbolic logic, philosophy, biology and psychology. Born in ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback