thinking about what a world would look like where Leibniz's philosophical dream was real and one could actually calculate more things with formal logic than is possible here
@KitRedgrave I'm not sure I follow this: do you mean about representation or about logic, or calculation, or what?
@Eve looking at it, it was more like represent knowledge symbolically, and then do calculation on that knowledge
@KitRedgrave I'm wondering what a world would look like where we could do a more extensive or better representation/calculation than here; would we find significant differences at our current levels of mental capacity, or would they only show up at "bigger" levels? maybe AI would be one domain, actually.
@Eve that was kind of my hope. it would definitely change how AI works and it would have been adopted and improved much faster than now. there's a lot of cool stuff that could happen.
@KitRedgrave though I would have thought that current logic and symbolic representation in AI was something supposed to realize the leibniz program, but it wasnt fully successful and that's why there's so much statistical stuff going on now (actually I wonder what L would have thought about statistical inference)
@Eve @KitRedgrave When an OS is interrupt driven, most are, and ignore timeslicing, it's a pretty big hammer, a task can fiddle away without the OS taking much notice.
Assume a task has decided to take this approach to suborn the AI, entropy where the AI's OS has inferred there isn't any worthy of note.
A singularity would be a total game-changer, but would it necessarily be Armageddon?