index
:
teach/mitro206.git
master
MITRO206 (théories des jeux)
git repository hosting
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
Commit message (
Collapse
)
Author
Age
Files
Lines
...
*
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
|
*
Isolate Brouwer's fixed point theorem.
David A. Madore
2016-02-22
1
-9
/
+14
|
*
More coin-turning (a bidimensional game).
David A. Madore
2016-02-22
1
-1
/
+14
|
*
Various clarifications and additions (notably, coin-turning games).
David A. Madore
2016-02-22
1
-8
/
+115
|
*
Illustration for Hercules-versus-Hydra game.
David A. Madore
2016-02-16
1
-1
/
+62
|
*
Describe chomp and Hackenbush.
David A. Madore
2016-02-16
1
-5
/
+123
|
*
Move the ultimatum game further down.
David A. Madore
2016-02-16
1
-47
/
+46
|
*
Typos (thanks, "z").
David A. Madore
2016-02-15
1
-2
/
+2
|
*
Another memento.
David A. Madore
2016-02-15
1
-0
/
+2
|
*
Typo.
David A. Madore
2016-02-14
1
-2
/
+2
|
*
Gale-Stewart games.
David A. Madore
2016-02-14
1
-1
/
+15
|
*
Things to think about (to be expanded).
David A. Madore
2016-02-14
1
-0
/
+6
|
*
Battle of the sexes game.
David A. Madore
2016-02-14
1
-2
/
+29
|
*
Hercules vs the Hydra.
David A. Madore
2016-02-14
1
-14
/
+35
|
*
Various gain matrices. Describe the gain of "chicken".
David A. Madore
2016-02-14
1
-21
/
+81
|
*
Briefly describe the prisoner's dilemma.
David A. Madore
2016-02-14
1
-5
/
+30
|
*
Last statement of the non-well-founded induction theorem.
David A. Madore
2016-01-30
1
-2
/
+11
|
[prev]
[next]