Mathematical proof: Revision history

For any version listed below, click on its date to view it. Mark the radio boxes to compare selected revisions.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.
Other tools: page info, page view statistics

curprev 14:0514:05, 31 August 2024‎ ELApro talk contribs‎ m 30,627 bytes +4‎ →‎Quotes: minor link undo

curprev 19:0519:05, 15 May 2022‎ Mgkrupa talk contribs‎ m 30,623 bytes +17‎ Added {{Math quotes}} undo

curprev 18:3318:33, 15 May 2019‎ UDScott talk contribs‎ 30,606 bytes +31‎ No edit summary undo

curprev 00:5900:59, 20 March 2018‎ ELApro talk contribs‎ m 30,575 bytes −6‎ →‎Quotes: minor correction undo
curprev 00:5800:58, 20 March 2018‎ ELApro talk contribs‎ 30,581 bytes +833‎ →‎Quotes: Rota, "Indiscrete Thoughts": sequence of steps..rules..logic..formalized..can be used to disprove a putative proof..but cannot find the missing proof..Heuristic arguments common...but not acknowledged in the philosophy of math despite crucial role in discovery..expose thinking concealed beneath apparent mechanics of proof undo

curprev 16:5616:56, 17 March 2018‎ ELApro talk contribs‎ 29,748 bytes +1,515‎ →‎Quotes: Hilbert, 'Mathematische Probleme' Tr. Newson: investigating foundations of a science..set up a system of axioms=definitions of those elementary ideas & no correct statement within, unless derived in finite steps..question whether independent axioms..above all prove not contradictory within finite no. logical steps undo
curprev 14:2414:24, 17 March 2018‎ ELApro talk contribs‎ 28,233 bytes +365‎ →‎Quotes: Rav, "Why do we prove theorems?" in 'Philosophia Mathematica': what experimental procedures are for the experimental scientist->new ideas/concepts/strategies..devices..assimilated for..research & further developed undo

curprev 15:5715:57, 13 March 2018‎ ELApro talk contribs‎ 27,868 bytes +1,060‎ →‎Quotes: Gowers, , "Massively Collaborative Mathematics": Polymath Project..find an elementary proof..Hales-Jewett theorem..known true..proofs are more than guarantees of truth..explanatory power/crucial insights.. 2 reasons..1) just one—a long/complicated->elementary from 1st principles=>new ideas 2) DHJ implies Szemerédi's theorem which led to breakthroughs..we would expect that the same undo

curprev 23:2323:23, 12 March 2018‎ ELApro talk contribs‎ 26,808 bytes +3,674‎ →‎Quotes: (6) quotes undo
curprev 21:4821:48, 12 March 2018‎ ELApro talk contribs‎ 23,134 bytes +4,604‎ →‎Quotes: (5) quotes undo
curprev 20:4920:49, 12 March 2018‎ ELApro talk contribs‎ 18,530 bytes +6,650‎ →‎Quotes: (8) quotes undo
curprev 18:1718:17, 12 March 2018‎ ELApro talk contribs‎ 11,880 bytes +11,880‎ Initiated INCOMPLETE ARTICLE-to be completed

31 August 2024

15 May 2022

15 May 2019

20 March 2018

17 March 2018

13 March 2018

12 March 2018