Back to Results
First PageMeta Content
Derrick Henry Lehmer / Computer music / Algorithm / Computer science / Computer / Computing / Mathematical proof / Human–computer interaction / ENIAC / Mathematics / Philosophy of mathematics / Mathematical logic


The proof is in the process. A preamble for a philosophy of computer-assisted mathematics Liesbeth De Mol Mechanization tends to emphasize practice rather than theory, deeds rather than words, explicit answers rather tha
Add to Reading List

Document Date: 2013-04-19 05:16:36

Open Document

File Size: 251,78 KB

Share Result on Facebook

Holiday

Labor Day / /

IndustryTerm

mechanical devices / machinery / usual writing devices / computing / mathematical tools / informed media theory / human algorithms / earlier devices / type-setting software / digital computing / digital signal processing / on-line communities / /

Organization

U.S. Securities and Exchange Commission / /

Person

Doron Zeilberger / Friedrich Kittler / van Kerkhove / Derrick H. Lehmer / Ia / Emma / Martin Carl / Donald Knuth / /

Position

queen / co-author / actor / mathematician / interpreter / second actor / non-human interpreter / text editor / /

ProgrammingLanguage

E / R / L / /

URL

http /

SocialTag