Tarski's high school algebra problem: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 13:3413:34, 11 December 2022‎ PointlessUsername talk contribs‎ 10,281 bytes +1‎ No edit summary undo Tags: Mobile edit Mobile web edit Advanced mobile edit

curprev 21:2021:20, 20 November 2022‎ DKEdwards talk contribs‎ m 10,280 bytes 0‎ →‎Statement of the problem: remove period from end of bullet list undo

curprev 21:5321:53, 24 August 2022‎ Mgkrupa talk contribs‎ 10,280 bytes +52‎ →‎See also undo

curprev 17:3817:38, 20 August 2022‎ 2001:56a:f1e2:e100:9930:5bb:24c0:69f1 talk‎ 10,228 bytes 0‎ (x+1)^2 = x^2 +2x +1, not x^2 + 2x + 2 undo

curprev 22:2322:23, 18 August 2022‎ Mgkrupa talk contribs‎ 10,228 bytes −176‎ Copy editing undo

curprev 18:5018:50, 15 August 2022‎ CRGreathouse talk contribs‎ 10,404 bytes +2‎ →‎Solution: link undo

curprev 00:1000:10, 13 August 2022‎ Mgkrupa talk contribs‎ 10,402 bytes +56‎ →‎References undo
curprev 00:0700:07, 13 August 2022‎ Mgkrupa talk contribs‎ 10,346 bytes +25‎ →‎References undo
curprev 00:0600:06, 13 August 2022‎ Mgkrupa talk contribs‎ 10,321 bytes +207‎ →‎Notes undo

curprev 21:1121:11, 7 August 2022‎ JerryFriedman talk contribs‎ 10,114 bytes +14‎ →‎Solution: terms -> factors, since they're multiplied undo

curprev 01:5601:56, 24 July 2022‎ Ovinus talk contribs‎ 10,100 bytes +43‎ Adding short description: "Mathematical problem" undo Tag: Shortdesc helper

curprev 20:1020:10, 27 January 2022‎ Joel Brennan talk contribs‎ 10,057 bytes +548‎ made the use of axiom 2 (associativity) in the example identity explicit undo
curprev 19:5519:55, 27 January 2022‎ Joel Brennan talk contribs‎ m 9,509 bytes +150‎ added wikilinks undo

curprev 14:1114:11, 12 November 2021‎ 2601:445:4380:7dd0::bf02 talk‎ 9,359 bytes +24‎ No edit summary undo
curprev 14:1014:10, 12 November 2021‎ 2601:445:4380:7dd0::bf02 talk‎ 9,335 bytes +2‎ →‎Example of a provable identity undo

curprev 17:1017:10, 10 August 2021‎ Renamed user 6196787986447 talk contribs‎ 9,333 bytes +1,126‎ Undid revision 1038121832 by 68.117.216.204 (talk) Rv ref removal undo Tags: Undo Mobile edit Mobile web edit Advanced mobile edit
curprev 17:0917:09, 10 August 2021‎ 68.117.216.204 talk‎ 8,207 bytes −1,126‎ →‎Generalisations undo Tags: Reverted references removed

curprev 15:1115:11, 3 July 2021‎ Narky Blert talk contribs‎ 9,333 bytes +18‎ Link to DAB page repaired undo

curprev 21:0221:02, 16 May 2021‎ 173.167.129.37 talk‎ 9,315 bytes −5‎ →‎Statement of the problem undo
curprev 21:0121:01, 16 May 2021‎ 173.167.129.37 talk‎ 9,320 bytes +266‎ →‎Statement of the problem undo

curprev 22:2822:28, 10 November 2020‎ 135.180.117.163 talk‎ 9,054 bytes −110‎ This is nonsense. Bicartesian closed categories are much more complicated than algebras of this kind. undo

curprev 00:0800:08, 15 April 2020‎ PointlessUsername talk contribs‎ 9,164 bytes −434‎ →‎Example of a provable identity undo Tag: Visual edit

curprev 07:5707:57, 30 January 2020‎ 73.168.5.183 talk‎ 9,598 bytes +110‎ →‎Generalisations undo

curprev 06:1906:19, 11 January 2020‎ 73.168.5.183 talk‎ 9,488 bytes −47‎ →‎See also undo Tag: section blanking
curprev 06:1906:19, 11 January 2020‎ 73.168.5.183 talk‎ 9,535 bytes +150‎ →‎Statement of the problem: no additive identity in Tarski's axioms either. undo
curprev 06:0306:03, 11 January 2020‎ 73.168.5.183 talk‎ 9,385 bytes +522‎ →‎Solution undo
curprev 05:5205:52, 11 January 2020‎ 73.168.5.183 talk‎ 8,863 bytes +47‎ →‎Generalisations undo

curprev 21:2121:21, 20 April 2019‎ CZeke talk contribs‎ 8,816 bytes +23‎ →‎Example of a provable identity: any false statement was a counterexample to the previous wording undo

curprev 20:5420:54, 17 July 2018‎ 46.239.97.15 talk‎ 8,793 bytes −77‎ styling the equational reasoning undo Tag: Visual edit

curprev 07:4707:47, 1 March 2018‎ David Eppstein talk contribs‎ 8,870 bytes +16‎ →‎References: Karen Yeats undo

curprev 12:3312:33, 18 September 2017‎ 176.25.83.71 talk‎ 8,854 bytes +4‎ →‎Statement of the problem undo

curprev 02:3102:31, 1 August 2014‎ Zaslav talk contribs‎ m 8,850 bytes +3‎ →‎Generalisations: Ce. undo
curprev 02:2802:28, 1 August 2014‎ Zaslav talk contribs‎ m 8,847 bytes +1‎ Ce. undo

curprev 18:0018:00, 8 June 2014‎ JadeNB talk contribs‎ 8,846 bytes −2‎ Improved alignment in {align} environment undo

curprev 02:2202:22, 4 March 2014‎ PeterStJohn talk contribs‎ m 8,848 bytes −1‎ →‎Solution: a typo broke the math formula parser undo

curprev 07:3707:37, 3 May 2012‎ 213.122.35.163 talk‎ 8,849 bytes −2‎ →‎Generalisations undo

curprev 14:3614:36, 1 December 2011‎ Chenxlee talk contribs‎ m 8,851 bytes −3‎ Undid revision 463474487 by 210.7.67.173 (talk) undo
curprev 09:5409:54, 1 December 2011‎ 210.7.67.173 talk‎ 8,854 bytes +3‎ →‎Generalisations undo

curprev 14:1514:15, 27 June 2011‎ Chenxlee talk contribs‎ m 8,851 bytes −9‎ →‎History of the problem: Removed extraneous 'explicit' undo

curprev 19:0519:05, 9 December 2010‎ 142.58.10.95 talk‎ 8,860 bytes 0‎ The smallest know counterexample has 12 elements; this is mentioned in the paper referenced by Zhang, and was found by Burris and Yeats (from the paper which is in the references) undo

curprev 02:5402:54, 1 November 2010‎ GoingBatty talk contribs‎ m 8,860 bytes +59‎ →‎References: clean up using AWB undo

curprev 11:3611:36, 8 September 2010‎ Chenxlee talk contribs‎ m 8,801 bytes +32‎ →‎Generalisations: Redirect undo
curprev 11:3411:34, 8 September 2010‎ Chenxlee talk contribs‎ 8,769 bytes +32‎ →‎Generalisations: Changed bounds to current best, with reference undo

curprev 19:0119:01, 16 July 2010‎ Algebraist talk contribs‎ 8,737 bytes −10‎ Revert to revision 341958038 dated 2010-02-04 20:37:55 by David Eppstein using popups undo

curprev 12:4912:49, 6 July 2010‎ 119.94.71.217 talk‎ 8,747 bytes +6‎ →‎Statement of the problem undo
curprev 12:4812:48, 6 July 2010‎ 119.94.71.217 talk‎ 8,741 bytes +4‎ No edit summary undo

curprev 20:3720:37, 4 February 2010‎ David Eppstein talk contribs‎ m 8,737 bytes +7‎ link H. A. Pogorzelski undo

curprev 21:2621:26, 1 January 2010‎ Chenxlee talk contribs‎ 8,730 bytes +22‎ →‎Generalisations: Fixed wikilink undo

curprev 02:5202:52, 30 December 2009‎ DFRussia talk contribs‎ m 8,708 bytes +4‎ →‎Generalisations undo

curprev 15:0815:08, 11 November 2009‎ 165.125.144.16 talk‎ 8,704 bytes +138‎ →‎Solution: One more quick tweak. undo

11 December 2022

20 November 2022

24 August 2022

20 August 2022

18 August 2022

15 August 2022

13 August 2022

7 August 2022

24 July 2022

27 January 2022

12 November 2021

10 August 2021

3 July 2021

16 May 2021

10 November 2020

15 April 2020

30 January 2020

11 January 2020

20 April 2019

17 July 2018

1 March 2018

18 September 2017

1 August 2014

8 June 2014

4 March 2014

3 May 2012

1 December 2011

27 June 2011

9 December 2010

1 November 2010

8 September 2010

16 July 2010

6 July 2010

4 February 2010

1 January 2010

30 December 2009

11 November 2009