Abstract
The title of this chapter calls for some explanation. This chapter largely discusses functions and functionalities of Mathematica that are either unrelated or only indirectly related to mathematics and together with the former, the Mathematica purpose-defining tagline Mathematica-A System for Doing Mathematics by Computer this explains the title. This chapter does not deal with any “meta-mathematical” (in the sense of Godel-Turing-Chaitin [3], [4], [5], [12], [11], [6], [13]) issues.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
W. Ackermann. Math. Ann. 99, 118 (1928).
C. Calude, S. Marcus, I. Tevy. Historia Math. 6, 380 (1974).
G. J. Chaitin. The Unknowable Springer-Verlag, New York, 1998.
G. J. Chaitin. The Limits of Mathematics Springer-Verlag, New York, 1999.
G. J. Chaitin. arXiv:chao-dyn/99090l 1 (1999).
D. Deutsch, A. Ekert, R. Lupacchini. Bull. Symb. Logic 6, 265 (2000).
J. Dieudonne. Geschichte der Mathematik Verlag der Wissenschaften, Berlin, 1985.
E. Fredkin in Workshop on Physics and Computation PhysComp ‘82 IEEE Computer Society Press, Los Alamitos, 1993.
R. P. Grimaldi. Discrete and Combinatorical Mathematics Addison-Wesley, Reading, 1994.
J. W. Grossman, R.S. Zeitman. Theor. Comput. Sci. 57, 327 (1988).
N. D. Jones. Computability and Complexity from a Programming Perspective MIT Press, 1997.
N. D. Jones in S. B. Cooper, J. K. Truss (eds.). Models and Computability Cambridge University Press, Cambridge, 1999.
T. D. Kieu. arXiv: quant-ph/0205093 (2002).
R. Maeder. Programming in Mathematica Addison-Wesley, Reading, 1991.
K. K. Nambiar. Appl. Math. Lett. 8, 51 (1995).
A. Oberschelp. Rekursionstheorie BI, Mannheim, 1993.
R. Peter. Math. Ann. 111, 42 (1935).
R. Peter. Rekursive Funktionen Budapest, 1951.
R. M. Robinson. Bull. Am. Math. Soc. 54, 987 (1948).
H. E. Rose. Subrecursion, Functions and Hierarchies Clarendon Press, Oxford, 1984.
M. Sharir, P. K. Agarwal. Davenport-Schinzel Sequences and their Geometric Applications Cambridge University Press, Cambridge, 1995.
C. Smorynski. Logical Number Theory I Springer-Verlag, Berlin, 1991.
Y. Sundblad. BIT 11, 107 (1971).
Z. Toroczkai. arXiv:cond-mat/0108448 (2001).
M. Trott. The Mathematica GuideBook for Graphics Springer-Verlag, New York, 2004.
M. Trott. The Mathematica GuideBook for Numerics Springer-Verlag, New York, 2004.
M. Trott. The Mathematica GuideBook for Symbolics Springer-Verlag, New York, 2004.
D. Withoff. Mathematica Internals. Proceedings Mathematica Conference, Boston, 1992 (MathSource 0203–982).
S. Wolfram. The Mathematica Book Cambridge University Press and Wolfram Media, Cambridge, 1999.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer Science+Business Media New York
About this chapter
Cite this chapter
Trott, M. (2004). Meta-Mathematica . In: The Mathematica GuideBook for Programming . Springer, New York, NY. https://doi.org/10.1007/978-1-4419-8503-3_4
Download citation
DOI: https://doi.org/10.1007/978-1-4419-8503-3_4
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4612-6421-7
Online ISBN: 978-1-4419-8503-3
eBook Packages: Springer Book Archive