Any political voting system will need a trusted third party to run the voter registration/identity system, so I doubt the lack of practical homomorphic encryption is blocking this. There are other voter-verifiable systems that don't rely on HE for trustworthy counting:
The major problem with online voting is that people can be coerced into voting against their wishes outside the watchful eye of election authorities. This may be worth the increase in voting ease, but it's where the real debate is.
We evolved living in relatively small groups where everyone knew each other and exclusion from the group meant likely death. Now we are part of a global social web where at any time, any of our people may be occupied by other parts of their network that do not involve us. This risk of being abandoned instinctively feels like an existential threat, so we live with a constant underlying anxiety that we do not truly belong and are not really safe. It will be interesting to see whether this reality selects for individuals better equipped to cope with it, or whether we develop better systems to allow everyone to cope better... I'd guess a bit of both.
I'd be pretty comfortable flying it after all this attention and review. It will probably be the best reviewed passenger plane software developed in America, if not the world once this is over.
Boeing deserves a 9-figure fine though, and its shareholders should lose massively to make sure this doesn't happen again.
Unfortunately, restricting to only computable maths means disallowing the natural numbers, basic arithmetic, or any equivalent structure, since Gödel incompleteness would apply. I doubt any system without access to the full set of natural numbers or basic arithmetic could qualify as "general AI".
I think your premises are fair, but assumption #3 ("Any mathematical rule can be computed by a sufficiently advanced computer") is effectively ruled out by Gödel's incompleteness theorem[1] and/or the Church-Turing thesis[2].
The problem then becomes finding an approach to general AI that avoids hitting incompleteness/undecidability[3] issues. My feeling is that this would be difficult. One way to try to avoid these issues is to avoid notions of self-reference, since self-reference spawns a lot of undecidable stuff (eg, "this statement is false" is neither true nor false). It seems to me, though, that the notions of the self and self-awareness are central to human consciousness, and so unavoidable when developing a complete simulation of human consciousness. The self is probably not computable.
Obviously there could be approaches that avoid these pitfalls, but every year that goes by without much progress towards general AI makes me feel more confident in this intuition. I do think there will be lots of useful progress in specialized AIs, but I see this as analogous to developing algorithms to decide the halting problem for special classes of algorithms. General AI is a whole different beast.
But if general AI is physically impossible, how does the human brain "compute" general intelligence at all? It could be that your assumption #1 ("Physicalism is true. Nothing exists that is not part of the physical world.") is not correct. Maybe reality has "layers" and our world is some kind of simulation in another layer. Or maybe there is only one consciousness like many spiritual people and Boltzmann[4] suggest. Or maybe the human experience could be a process of trying to solve an undecidable problem and failing...
He seems to have published no embarrassing or damaging information on Russia (at least in latter years?), and seemed willing to serve their purposes when it came to the 2016 election, by releasing hacked Democratic Party emails timed to do maximum damage to Hillary Clinton's campaign.
Prior to that, I had considered Wikileaks a brave experiment in radical transparency. Since then, I've considered Wikileaks a somewhat biased source. The truth is the truth, yes, but every truth is partial, and context matters.
"Asset" is perhaps too strong a word, but "useful idiot" may apply, or "the enemy of my enemy".
If they didn't fully understand how it worked, but fraudulently represented that they did, they'd be on the hook. It all hinges on what he was promised when he bought it. If they had a good disclaimer, then he might be out of luck.
You sue whoever misrepresented the robot's capabilities to you. There's nothing wrong with making a robot that's bad at trading. There is something wrong with pretending it's not bad at trading when you're selling it.
To be fair, if someone is overly anxious and neurotic about minor physical symptoms, to the point that the anxiety is making things worse, often the best thing a doctor can do is reassure them that they are fine, to stop worrying, and send them home. Taking those patients' physical symptoms too seriously may be the worst thing to do. I can see that it must be hard for doctors, especially if they only really have about 12 minutes to make a determination...
The hallmark of CFS is post-exertional malaise, which is feeling terribly after exertion that is overly strenuous (for you). The onset of PEM can be a few hours, a day, or even a week or more after the exertion, so it can be very hard to pin down. The real way to tell is to cease exertions for a period and see if there is improvement in your symptoms. Contrast this with depression, where exercise will tend to improve your symptoms.
A second hallmark is unrefreshing sleep. Not necessarily that you don't sleep or don't sleep well, but that no matter how long or how well you sleep, you wake up feeling like you just ran a marathon. If you don't sleep well, see a sleep doctor. That may fix the issue.
A sleep study is critical to ruling out sleep issues before getting a proper diagnosis of ME/CFS. No good doctor would diagnose CFS without a sleep study.
On the other hand, there are times when blaming people for their misfortune is appropriate, and serves a social purpose. The hard part is telling when it is appropriate. It does seem pretty clear though that we tend to both give ourselves too much credit for our successes, and too much blame for our failures, overall.
https://www.chaum.com/publications/AccessibleVoterVerifiabil...
The major problem with online voting is that people can be coerced into voting against their wishes outside the watchful eye of election authorities. This may be worth the increase in voting ease, but it's where the real debate is.