Timeline for On the utility of Silver machines
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 24, 2020 at 21:44 | answer | added | Thomas Benjamin | timeline score: 1 | |
| Apr 21, 2020 at 13:35 | comment | added | Todd Eisworth | That may be the answer to the question @MonroeEskew, and that they only reformulate the salient properties of the hierarchy. | |
| Apr 21, 2020 at 10:49 | comment | added | Asaf Karagila♦ | I know that silver has a better conductivity than copper, but copper has better antibacterial properties. In this day and age, did you consider using copper machines? | |
| Apr 21, 2020 at 7:38 | comment | added | Monroe Eskew | This is not my bread and butter, so excuse this comment if it is off. Looking at the wikipedia page, it seems like these are just abstracting some properties of "most" $L_\alpha$'s (with $\Sigma_1$-Skolem functions in place of the the $h_i$'s?). So I wonder, is it just a reformulation of basics, like $L_\alpha$ vs. $J_\alpha$? Is there is some kind of translation between "standard" proofs and Silver machine proofs? I don't see the combinatorial mojo they bring to the table. | |
| Apr 21, 2020 at 1:26 | answer | added | Mohammad Golshani | timeline score: 8 | |
| Apr 20, 2020 at 23:14 | history | asked | Todd Eisworth | CC BY-SA 4.0 |