Timeline for Uses of bisimulation outside of computer science.
Current License: CC BY-SA 2.5
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 27, 2010 at 20:16 | comment | added | Todd Trimble | But surely the coalgebraic applications of bisimulations and the applications to ZF - Foundation + Anti-foundation are closely connected? In ordinary ZF, sets are constructed recursively, whereas in the alternative set theory using AFA, sets are constructed corecursively. There's a little bit on this at the nLab under the article "axiom of foundation". | |
| May 27, 2010 at 19:43 | comment | added | supercooldave | Of course. I'd totally forgotten about Vicious Circles. | |
| May 27, 2010 at 19:41 | history | answered | Justin Palumbo | CC BY-SA 2.5 |