Theory (mathematics): Revision history

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