000915776 000__ 03514cam\a2200457Ii\4500
000915776 001__ 915776
000915776 005__ 20230306150505.0
000915776 006__ m\\\\\o\\d\\\\\\\\
000915776 007__ cr\cn\nnnunnun
000915776 008__ 191010s2019\\\\sz\a\\\\o\\\\\001\0\eng\d
000915776 019__ $$a1125803819
000915776 020__ $$a9783030284831$$q(electronic book)
000915776 020__ $$a3030284832$$q(electronic book)
000915776 020__ $$z9783030284824
000915776 0247_ $$a10.1007/978-3-030-28483-1$$2doi
000915776 035__ $$aSP(OCoLC)on1122780145
000915776 035__ $$aSP(OCoLC)1122780145$$z(OCoLC)1125803819
000915776 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dEBLCP$$dUKMGB$$dOCLCQ$$dSFB$$dOCLCF$$dOCLCO$$dOCLCQ
000915776 049__ $$aISEA
000915776 050_4 $$aQA9.54
000915776 08204 $$a511.3/6$$223
000915776 24500 $$aProof technology in mathematics research and teaching /$$cedited by Gila Hanna, David A. Reid, Michael de Villiers, editors.
000915776 264_1 $$aCham, Switzerland :$$bSpringer,$$c2019.
000915776 300__ $$a1 online resource (viii, 379 pages) :$$billustrations 
000915776 336__ $$atext$$btxt$$2rdacontent
000915776 337__ $$acomputer$$bc$$2rdamedia
000915776 338__ $$aonline resource$$bcr$$2rdacarrier
000915776 4901_ $$aMathematics education in the digital era,$$x2211-8136 ;$$vvolume 14
000915776 500__ $$aIncludes indexes.
000915776 506__ $$aAccess limited to authorized users.
000915776 520__ $$aThis book presents chapters exploring the most recent developments in the role of technology in proving. The full range of topics related to this theme are explored, including computer proving, digital collaboration among mathematicians, mathematics teaching in schools and universities, and the use of the internet as a site of proof learning. Proving is sometimes thought to be the aspect of mathematical activity most resistant to the influence of technological change. While computational methods are well known to have a huge importance in applied mathematics, there is a perception that mathematicians seeking to derive new mathematical results are unaffected by the digital era. The reality is quite different. Digital technologies have transformed how mathematicians work together, how proof is taught in schools and universities, and even the nature of proof itself. Checking billions of cases in extremely large but finite sets, impossible a few decades ago, has now become a standard method of proof. Distributed proving, by teams of mathematicians working independently on sections of a problem, has become very much easier as digital communication facilitates the sharing and comparison of results. Proof assistants and dynamic proof environments have influenced the verification or refutation of conjectures, and ultimately how and why proof is taught in schools. And techniques from computer science for checking the validity of programs are being used to verify mathematical proofs. Chapters in this book include not only research reports and case studies, but also theoretical essays, reviews of the state of the art in selected areas, and historical studies. The authors are experts in the field.
000915776 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed October 10, 2019).
000915776 650_0 $$aProof theory$$xStudy and teaching.
000915776 7001_ $$aHanna, G.$$q(Gila),$$d1934-$$eeditor.
000915776 7001_ $$aReid, David A.$$q(David Alexander),$$d1963-$$eeditor.
000915776 7001_ $$aDe Villiers, Michael D.,$$eeditor.
000915776 830_0 $$aMathematics education in the digital era ;$$vv. 14.
000915776 852__ $$bebk
000915776 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-28483-1$$zOnline Access$$91397441.1
000915776 909CO $$ooai:library.usi.edu:915776$$pGLOBAL_SET
000915776 980__ $$aEBOOK
000915776 980__ $$aBIB
000915776 982__ $$aEbook
000915776 983__ $$aOnline
000915776 994__ $$a92$$bISE