Theory (mathematics): Revision history

28 October 2024

• curprev 07:0007:00, 28 October 2024‎ Suggestion Bot talk contribs‎ m 34,497 bytes +33‎ No edit summary

25 October 2013

• curprev 21:3221:32, 25 October 2013‎ imported>Meg Taylor‎ 34,464 bytes +34,464‎ No edit summary

14 November 2010

• curprev 02:4302:43, 14 November 2010‎ imported>Boris Tsirelson‎ 34,490 bytes +354‎ →‎Defined or undefined: link to "Semantic primes"

17 August 2010

• curprev 15:0215:02, 17 August 2010‎ imported>Boris Tsirelson‎ 34,367 bytes +231‎ →‎Universal or specialized: higher-order logic

9 August 2010

• curprev 06:2306:23, 9 August 2010‎ imported>Boris Tsirelson‎ m 34,136 bytes +516‎ →‎Formal or formalizable: ref

23 July 2010

• curprev 10:2810:28, 23 July 2010‎ imported>Boris Tsirelson‎ 34,108 bytes −17‎ →‎References: no publisher for a journal

25 June 2010

• curprev 06:0306:03, 25 June 2010‎ imported>Boris Tsirelson‎ m 34,125 bytes 0‎ →‎Generating all theorems; decidable or undecidable: infinitely many axioms
• curprev 06:0206:02, 25 June 2010‎ imported>Boris Tsirelson‎ 34,125 bytes +505‎ →‎Generating all theorems; decidable or undecidable: infinitely many axioms

24 June 2010

• curprev 12:4912:49, 24 June 2010‎ imported>Boris Tsirelson‎ 33,943 bytes +323‎ →‎Universal or specialized: category theory
• curprev 12:4512:45, 24 June 2010‎ imported>Boris Tsirelson‎ 33,831 bytes +211‎ →‎References: Lawvere

23 June 2010

• curprev 06:3906:39, 23 June 2010‎ imported>Boris Tsirelson‎ m 33,620 bytes +13‎ →‎References
• curprev 06:1406:14, 23 June 2010‎ imported>Boris Tsirelson‎ 33,619 bytes +4‎ →‎Consistent or inconsistent: Ludwig Wittgenstein: link
• curprev 06:1206:12, 23 June 2010‎ imported>Boris Tsirelson‎ m 33,615 bytes +8‎ →‎Consistent or inconsistent
• curprev 05:5805:58, 23 June 2010‎ imported>Boris Tsirelson‎ m 33,605 bytes −2‎ →‎References
• curprev 05:5605:56, 23 June 2010‎ imported>Boris Tsirelson‎ m 33,607 bytes 0‎ →‎Consistent or inconsistent: more
• curprev 05:5405:54, 23 June 2010‎ imported>Boris Tsirelson‎ 33,607 bytes +33,607‎ →‎Consistent or inconsistent: more
• curprev 05:5105:51, 23 June 2010‎ imported>Boris Tsirelson‎ 32,390 bytes +361‎ →‎References: Lecture Notes

22 June 2010

• curprev 14:4914:49, 22 June 2010‎ imported>Boris Tsirelson‎ 32,057 bytes −1‎ →‎Notes: two columns
• curprev 13:2713:27, 22 June 2010‎ imported>Boris Tsirelson‎ 32,058 bytes +28‎ →‎References
• curprev 06:1806:18, 22 June 2010‎ imported>Boris Tsirelson‎ 32,030 bytes +1‎ →‎References
• curprev 06:1706:17, 22 June 2010‎ imported>Boris Tsirelson‎ 32,029 bytes −211‎ →‎References: order
• curprev 06:1606:16, 22 June 2010‎ imported>Boris Tsirelson‎ m 32,029 bytes −211‎ →‎References
• curprev 06:1306:13, 22 June 2010‎ imported>Boris Tsirelson‎ 32,240 bytes +1,668‎ references

21 June 2010

• curprev 14:5114:51, 21 June 2010‎ imported>Boris Tsirelson‎ 30,695 bytes −1,618‎ →‎Sharp or fuzzy; real or ideal: move from here
• curprev 14:5014:50, 21 June 2010‎ imported>Boris Tsirelson‎ 32,313 bytes +1,620‎ →‎Monotonic or non-monotonic: move to here
• curprev 14:4814:48, 21 June 2010‎ imported>Boris Tsirelson‎ 30,693 bytes +23‎ →‎Formal or formalizable: quote
• curprev 14:4614:46, 21 June 2010‎ imported>Boris Tsirelson‎ 30,670 bytes +22‎ →‎Sharp or fuzzy; real or ideal: quote
• curprev 14:4414:44, 21 June 2010‎ imported>Boris Tsirelson‎ 30,648 bytes +10‎ →‎From technical to human: definitions: choosing words
• curprev 14:4214:42, 21 June 2010‎ imported>Boris Tsirelson‎ 30,638 bytes +66‎ →‎Monotonic or non-monotonic: link

20 June 2010

• curprev 14:5914:59, 20 June 2010‎ imported>Boris Tsirelson‎ 30,607 bytes +35‎ No edit summary
• curprev 14:5814:58, 20 June 2010‎ imported>Boris Tsirelson‎ 30,572 bytes +7,764‎ No edit summary
• curprev 03:4103:41, 20 June 2010‎ imported>Boris Tsirelson‎ 30,533 bytes −842‎ →‎Formalizable in reality or in principle: less
• curprev 03:3803:38, 20 June 2010‎ imported>Boris Tsirelson‎ 31,373 bytes −2‎ →‎Definitions: abbreviations or extensions: corrections
• curprev 03:3403:34, 20 June 2010‎ imported>Boris Tsirelson‎ m 31,375 bytes +25‎ →‎Complete or incomplete: link
• curprev 03:3203:32, 20 June 2010‎ imported>Boris Tsirelson‎ m 31,350 bytes +23‎ →‎Formal or formalizable: quote
• curprev 03:3103:31, 20 June 2010‎ imported>Boris Tsirelson‎ 31,327 bytes +3,568‎ →‎Rigor or intuition: quote

19 June 2010

• curprev 13:2813:28, 19 June 2010‎ imported>Boris Tsirelson‎ 31,303 bytes +188‎ →‎Definitions: abbreviations or extensions
• curprev 13:2413:24, 19 June 2010‎ imported>Boris Tsirelson‎ 31,115 bytes +3,356‎ →‎Definitions: abbreviations or extensions: more
• curprev 13:1213:12, 19 June 2010‎ imported>Boris Tsirelson‎ 30,313 bytes +593‎ →‎Definitions: abbreviations or extensions: more
• curprev 13:0213:02, 19 June 2010‎ imported>Boris Tsirelson‎ 29,720 bytes +1,186‎ restructurisation and additions

18 June 2010

• curprev 08:5008:50, 18 June 2010‎ imported>Boris Tsirelson‎ m 28,532 bytes −2‎ →‎From technical to human: definitions
• curprev 07:1207:12, 18 June 2010‎ imported>Boris Tsirelson‎ m 28,534 bytes +775‎ →‎Formalizable in reality or in principle
• curprev 07:1007:10, 18 June 2010‎ imported>Boris Tsirelson‎ 28,536 bytes +777‎ →‎From technical to human: definitions: move to here
• curprev 07:0907:09, 18 June 2010‎ imported>Boris Tsirelson‎ 27,324 bytes −435‎ →‎Definitions: move from here
• curprev 07:0807:08, 18 June 2010‎ imported>Boris Tsirelson‎ 28,553 bytes +794‎ →‎Basic features: From technical to human: definitions

16 June 2010

• curprev 13:3613:36, 16 June 2010‎ imported>Boris Tsirelson‎ m 27,759 bytes 0‎ →‎Defined or undefined: more
• curprev 12:5612:56, 16 June 2010‎ imported>Boris Tsirelson‎ m 27,759 bytes +4,524‎ →‎Defined or undefined: more
• curprev 12:5512:55, 16 June 2010‎ imported>Boris Tsirelson‎ 27,759 bytes +4,524‎ →‎Defined or undefined: more

15 June 2010

• curprev 00:3100:31, 15 June 2010‎ imported>Boris Tsirelson‎ 27,316 bytes +311‎ →‎Defined or undefined: more

14 June 2010

• curprev 10:0010:00, 14 June 2010‎ imported>Boris Tsirelson‎ 27,005 bytes +3,770‎ →‎Computers metaphor: Defined or undefined