Timeline for How to triangulate a math reference?
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 13, 2013 at 14:20 | comment | added | Timothy Chow | @David: Triangulation is in general a harder problem than you seem to give it credit for. It is closely related to the problem, given a proposition P and a set of axioms A, is there a proof of P from A of length at most n? This kind of problem is in general NP-complete. So it's a little optimistic to think that we can completely solve the problem just by building the right widget. | |
| Mar 13, 2013 at 13:23 | comment | added | David Spivak | I apologize for my wording above. I think I was embarrassed by being wrong in my quoted category theory claim and took it out on the method suggested by Rodrigo. By "pathetic method" I meant "method that should quickly become outdated, especially if we have the courage to think about this problem in earnest". Thanks Scott and others. | |
| Mar 13, 2013 at 3:13 | comment | added | Yemon Choi | I found David's original question thought-provoking, but the tone and turn of phrase in the comment above just provokes my irritation. (Which I guess lends weight to Mariano's POV) | |
| Mar 13, 2013 at 2:54 | comment | added | Mariano Suárez-Álvarez | @David, you are rapidly converging to a discussion, and it should most likely happen somewhere else. | |
| Mar 13, 2013 at 2:37 | history | edited | Rodrigo A. Pérez | CC BY-SA 3.0 |
added 724 characters in body
|
| Mar 13, 2013 at 2:22 | comment | added | S. Carnahan♦ | David, could you please switch to using terms like "20th century" or "uninclusive" instead of "pathetic" on this site? | |
| Mar 13, 2013 at 2:00 | comment | added | David Spivak | But this is a pathetic method. For question 3, I'm not looking for what's avaiable now, I'm looking for what should exist. Looking at the trend in technology, there is clearly some teleological point we're heading toward in which information is better organized. What's the right organization for math? | |
| Mar 13, 2013 at 1:41 | history | answered | Rodrigo A. Pérez | CC BY-SA 3.0 |