Timeline for undergraduate logic textbook
Current License: CC BY-SA 2.5
24 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 7, 2016 at 16:58 | answer | added | Immanuel Jenkins | timeline score: 1 | |
| Jun 18, 2015 at 0:38 | history | edited | Gerry Myerson |
edited tags
|
|
| Jun 17, 2015 at 10:56 | answer | added | Jan-Christoph Schlage-Puchta | timeline score: 1 | |
| Jun 17, 2015 at 7:47 | answer | added | Alan U. Kennington | timeline score: 1 | |
| Sep 17, 2012 at 16:36 | comment | added | TLss | One problem with mathematical logic is that the point of much of the care that some seemingly obvious issues need to be addressed is lost without deep examples. I felt like Kunen's book on Set Theory and Independence Proofs, for example, was the first time I really truly understood some of the import of abstract notions of incompleteness one learns in logic. When you actually see models with CH and with not-CH, you see why this stuff matters in a way that is hard to just learning logic alone. Of course, you do need some logic to understand Kunen. | |
| Sep 16, 2012 at 23:12 | answer | added | Noah Schweber | timeline score: 1 | |
| Sep 16, 2012 at 15:11 | answer | added | Julien Puydt | timeline score: 5 | |
| Sep 16, 2012 at 9:16 | answer | added | Xingdong Zuo | timeline score: 5 | |
| Dec 26, 2011 at 2:07 | history | edited | user9072 |
added tag
|
|
| Dec 26, 2011 at 2:01 | answer | added | user729424 | timeline score: 9 | |
| Jun 15, 2011 at 8:52 | answer | added | Ketil Tveiten | timeline score: 5 | |
| Jun 15, 2011 at 7:49 | answer | added | user15756 | timeline score: 3 | |
| Jun 15, 2011 at 5:10 | answer | added | The Mathemagician | timeline score: 8 | |
| Jun 14, 2011 at 20:41 | answer | added | horsh | timeline score: 2 | |
| Jun 14, 2011 at 20:07 | answer | added | user15756 | timeline score: 5 | |
| Nov 7, 2010 at 20:09 | answer | added | Rod Carvalho | timeline score: 3 | |
| Nov 3, 2010 at 8:29 | comment | added | KConrad | Hmm, interesting. | |
| Nov 3, 2010 at 0:18 | comment | added | user6976 | @Keith: cicadas are discussed here: mathoverflow.net/questions/43397/…. Seriously though, engineers use propositional logic and all sorts of non-standard logics alot, in problems related to control of complex systems, for example. I once helped supervise a PhD student in engineering applying non-standard logics | |
| Nov 2, 2010 at 23:08 | comment | added | KConrad | A standard logic course for math majors, that I've heard, but for engineering majors too? There must be some really philosophically inclined engineering students at Vanderbilt. :) | |
| Nov 2, 2010 at 22:58 | answer | added | Carl Mummert | timeline score: 10 | |
| Nov 2, 2010 at 22:15 | history | edited | Carl Mummert |
edited tags; edited tags
|
|
| Nov 2, 2010 at 22:10 | history | edited | user6976 | CC BY-SA 2.5 |
added 10 characters in body
|
| Nov 2, 2010 at 22:10 | answer | added | Joe Johnson | timeline score: 4 | |
| Nov 2, 2010 at 22:00 | history | asked | user6976 | CC BY-SA 2.5 |