Access the full text.
Sign up today, get DeepDyve free for 14 days.
S. Kosslyn (1983)
Ghosts in the mind's machine: Creating and using images in the brain
Leah McCoy (1996)
Computer-Based Mathematics LearningEncyclopedia of Education and Information Technologies
Jerome McGann (2015)
Marking Texts of Many Dimensions
S. Papert (1981)
Mindstorms: Children, Computers, and Powerful Ideas
S. Engel (1964)
Thought and LanguageDialogue, 3
V. Vinge (1993)
The coming technological singularity: How to survive in the post-human era
Thomas Cortina (2007)
An introduction to computer science for non-majors using principles of computationProceedings of the 38th SIGCSE technical symposium on Computer science education
M. Black (1962)
Models and metaphors
M. Danesi (2002)
The Puzzle Instinct: The Meaning of Puzzles in Human Life
J. Schmidhuber (2010)
Formal Theory of Creativity, Fun, and Intrinsic Motivation (1990–2010)IEEE Transactions on Autonomous Mental Development, 2
D. Bailey, S. Plouffe, P. Borwein, J. Borwein (1997)
The quest for PIThe Mathematical Intelligencer, 19
S. Ulam (1958)
John von Neumann 1903-1957Bulletin of the American Mathematical Society, 64
Guillaume Lample, François Charton (2019)
Deep Learning for Symbolic MathematicsArXiv, abs/1912.01412
M. Black (1962)
Models and metaphors : studies in language and philosophyPhilosophy and Phenomenological Research, 23
A. Samuel (1967)
Some Studies in Machine Learning Using the Game of CheckersIBM J. Res. Dev., 44
J. Uexküll
Umwelt und Innenwelt der Tiere [microform] / von J. von Uexküll.
R. Kurzweil (2012)
How to Create a Mind: The Secret of Human Thought Revealed
I. Good (1965)
Speculations Concerning the First Ultraintelligent MachineAdv. Comput., 6
D. Mumford, S. Garfunkel (2012)
Bottom Line on Mathematics Education
R. Caferra, N. Peltier (1997)
A New Technique for Verifying and Correcting Logic ProgramsJournal of Automated Reasoning, 19
A. Turing (1937)
On computable numbers, with an application to the EntscheidungsproblemProc. London Math. Soc., s2-42
W. McCune (1997)
Solution of the Robbins ProblemJournal of Automated Reasoning, 19
L. Fortnow (2013)
The Golden Ticket: P, NP, and the Search for the Impossible
H. Maturana, F. Varela (1980)
Autopoiesis and Cognition
Bjørn Nansen, K. Chakraborty, L. Gibbs, F. Vetere, C. MacDougall (2012)
‘You do the math’: Mathletics and the play of online learningNew Media & Society, 14
Martin Davis (2001)
Chapter 1 – The Early History of Automated Deduction: Dedicated to the memory of Hao Wang
I. Peterson (2000)
Visions of infinity: Tiling a hyperbolic floor inspires both mathematics and artScience News, 158
K. Gödel (1931)
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme IMonatshefte für Mathematik und Physik, 38
J. Mccormack, M. d'Inverno (2012)
Computers and Creativity
A. Church (1936)
An Unsolvable Problem of Elementary Number TheoryAmerican Journal of Mathematics, 58
K. Gödel (1931)
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme IMonatshefte für Mathematik, 149
J. Borwein (2004)
Mathematics by experiment : plausible reasoning in the 21st century
J. Urban, J. Vyskočil (2012)
Theorem Proving in Large Formal Mathematics as an Emerging AI FieldArXiv, abs/1209.3914
M. Ganesalingam, W. Gowers (2016)
A Fully Automatic Theorem Prover with Human-Style OutputJournal of Automated Reasoning, 58
Francine Smolucha, H. Gardner (1984)
Art, Mind, And Brain: A Cognitive Approach To Creativity
R. Graham, D. Knuth, Oren Patashnik (1991)
Concrete mathematics - a foundation for computer science
(2004)
Experimentation in Mathematics
D. Hilbert (1928)
Die grundlagen der mathematikAbhandlungen aus dem Mathematischen Seminar der Universität Hamburg, 6
G. Lakoff, R. Núñez (2002)
Where mathematics comes from : how the embodied mind brings mathematics into beingAmerican Mathematical Monthly, 109
Martin Davis (2001)
The Early History of Automated Deduction
Kyle Cheney, Scotty Craig, C. Anderson, Anna Bargagliotti, A. Graesser, Allan Sterbinsky, T. Okwumabua, Xiangen Hu (2011)
Closing the Knowledge Gap in Mathematics among Sixth Grade Students using ALEKS, 2011
S. Cook (1971)
The complexity of theorem-proving proceduresProceedings of the third annual ACM symposium on Theory of computing
R. Kurzweil (2018)
The Singularity Is NearThe Infinite Desire for Growth
G. Frege
Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens
[In 2011, the TV quiz show Jeopardy featured two human champions competing against IBM’s Watson, an AI system designed for the event. Watson won the match by a large margin. Then, in 2017, another AI system, AphaGo, beat the world’s Go champion with a creative move that was previously unknown, surprising Go experts. Popularized events such as these have made it saliently obvious to a large audience that AI bears many implications for understanding what intelligence is; and given that those AI systems were the product of a partnership between mathematicians and computer scientists, it is also obvious that they bear specific implications for how mathematics itself is practiced in the current technological environment, called the Information Age or, equally, the Computer Age. If an AI system can be devised to come up with a truly intelligent move in the game of Go, previously unbeknownst to humans, then the question arises: Can AI do creative mathematics? A positive answer does not seem to be beyond the realm of possibility.]
Published: Dec 11, 2020
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.