Mathematics is often considered as a body of knowledge that is essen- tially independent of linguistic formulations, in the sense that, once the content of this knowledge has been grasped, there remains only the problem of professional ability, that of clearly formulating and correctly proving it. However, the question is not so simple, and P. Weingartner's paper (Language and Coding-Dependency of Results in Logic and Mathe- matics) deals with some results in logic and mathematics which reveal that certain notions are in ...

Philosophy of Mathematics Today 2012, Springer

ISBN-13: 9789401064002

Softcover Reprint of the Origi edition

Trade paperback

Philosophy of Mathematics Today 1996, Springer, Dordrecht, Netherlands

ISBN-13: 9780792343431

1997 edition