teach/mitro206.git - MITRO206 (théories des jeux)

	Commit message (Collapse)	Author	Age	Files	Lines
*	Another remark on the Grundy function.	David A. Madore	2016-03-23	1	-0/+18
\|
*	Nim sum is XOR.	David A. Madore	2016-03-23	1	-9/+123
\|
*	Nim sum of ordinals and games.	David A. Madore	2016-03-23	1	-5/+238
\|
*	Start part on impartial combinatorial games. Also, clearly rename top-level ↵	David A. Madore	2016-03-23	1	-48/+173
\| \| \| \|	sections as "parts".
*	Add more to index.	David A. Madore	2016-03-22	1	-2/+2
\|
*	Add index.upload-20160322	David A. Madore	2016-03-22	1	-113/+125
\|
*	More about the Cantor normal form and binary form of ordinals.	David A. Madore	2016-03-22	1	-2/+97
\|
*	Hyperref + table of contents.	David A. Madore	2016-03-21	1	-0/+5
\|
*	More details on Grundy function and Grundy kernel.upload-20160321	David A. Madore	2016-03-21	1	-37/+86
\|
*	Fix missing clause in definition of Borel sets.	David A. Madore	2016-03-20	1	-1/+1
\|
*	Product and exponentiation of ordinals.upload-20160314	David A. Madore	2016-03-14	1	-2/+194
\|
*	Briefly describe the nimber and (surreal) number associated to \alpha.	David A. Madore	2016-03-14	1	-3/+49
\|
*	Acknowledge the Burali-Forti "paradox".	David A. Madore	2016-03-14	1	-0/+12
\|
*	Sum of ordinals.	David A. Madore	2016-03-14	1	-0/+57
\|
*	Successor and limit ordinals.	David A. Madore	2016-03-14	1	-8/+78
\|
*	Split section on well-founded sets. Upper bounds of ordinals.	David A. Madore	2016-03-14	1	-3/+37
\|
*	Definition of ordinals.	David A. Madore	2016-03-14	1	-8/+90
\|
*	More about well-founded and non-well-founded inductions.	David A. Madore	2016-03-14	1	-20/+113
\|
*	Fix lots of typos (thanks, "Pjetri").	David A. Madore	2016-03-12	1	-18/+18
\|
*	Well-ordered sets.	David A. Madore	2016-03-10	1	-9/+213
\|
*	Genies granting ordinal-counted wishes.	David A. Madore	2016-03-10	1	-0/+39
\|
*	Another point to note about constructing ordinals.	David A. Madore	2016-03-09	1	-0/+7
\|
*	Intuitive presentation of ordinals.	David A. Madore	2016-03-09	1	-2/+95
\|
*	Well-founded induction, von Neumann ordinals.	David A. Madore	2016-03-09	1	-1/+52
\|
*	Mention the terminology "well-ordered".	David A. Madore	2016-03-09	1	-2/+16
\|
*	More on the intuitive explanation of ordinals: decreasing sequences terminate.	David A. Madore	2016-03-09	1	-1/+35
\|
*	Start writing an intuitive introduction to ordinals.	David A. Madore	2016-03-09	1	-0/+134
\|
*	Determinacy of combinatorial games for positional strategies (fairly tedious).upload-20160308	David A. Madore	2016-03-08	1	-194/+387
\|
*	Various clarifications in wording in the combinatorial-to-Gale-Stewart argument.	David A. Madore	2016-03-08	1	-36/+48
\|
*	Mention Borel determinacy and beyond.	David A. Madore	2016-03-07	1	-1/+48
\|
*	Trivial comment.upload-20160307	David A. Madore	2016-03-07	1	-1/+1
\|
*	Slight reformulation.	David A. Madore	2016-03-07	1	-11/+11
\|
*	Alternative terminology: "progressively finite" for well-founded.	David A. Madore	2016-03-07	1	-4/+5
\|
*	The halting game (Turing against Blanche).	David A. Madore	2016-03-07	1	-0/+48
\|
*	Add disclaimer about provisional status of these notes.upload-20160305	David A. Madore	2016-03-05	1	-0/+9
\|
*	Minor changes noted during lecture.	David A. Madore	2016-02-29	1	-13/+24
\|
*	Link zero-sum games and linear programming.	David A. Madore	2016-02-28	1	-1/+96
\|
*	Another self-note.	David A. Madore	2016-02-26	1	-0/+7
\|
*	Self-note.	David A. Madore	2016-02-25	1	-0/+3
\|
*	Remove now redundant pieces.	David A. Madore	2016-02-25	1	-65/+0
\|
*	Determinacy of perfect information games from Gale-Stewart games.	David A. Madore	2016-02-25	1	-3/+152
\|
*	Second proof of open determinacy.	David A. Madore	2016-02-25	1	-6/+93
\|
*	Clarify how we can exchange the players' roles.	David A. Madore	2016-02-25	1	-96/+148
\|
*	Product topology and open determinacy.	David A. Madore	2016-02-25	1	-27/+201
\|
*	Prove the essentially trivial proposition about strategies (exists/forall).	David A. Madore	2016-02-25	1	-1/+58
\|
*	An essentially trivial statement.	David A. Madore	2016-02-24	1	-6/+44
\|
*	Start a new section on Gale-Stewart games.	David A. Madore	2016-02-24	1	-5/+70
\|
*	Positional versus historical strategies. Prepare for induction.	David A. Madore	2016-02-22	1	-33/+150
\|
*	More clarifications on impartial p.i. games (and player naming).	David A. Madore	2016-02-22	1	-31/+79
\|
*	Rework and describe outline.	David A. Madore	2016-02-22	1	-36/+72
\|