Timeline for What do we call functions that behave like predicate symbols?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 6, 2015 at 19:32 | comment | added | Andrej Bauer | I am quite sure I got it from Russell. When I was young and idealistic I read a lot of what he wrote. | |
| Oct 6, 2015 at 18:28 | comment | added | Peter LeFanu Lumsdaine | Worth adding: this is a very standard term, dating at least back to Bertrand Russell in 1903. | |
| Jul 28, 2014 at 8:37 | vote | accept | goblin GONE | ||
| Jul 28, 2014 at 7:58 | review | Low quality posts | |||
| Jul 28, 2014 at 7:59 | |||||
| Jul 28, 2014 at 7:41 | history | answered | Andrej Bauer | CC BY-SA 3.0 |