Karl Palmskog
Goodreads Author
Member Since
June 2011
URL
https://www.goodreads.com/palmskog
|
QED at Large: A Survey of Engineering of Formally Verified Software
by
—
published
2019
|
|
* Note: these are all the books on Goodreads for this author. To add more, click here.
Karl’s Recent Updates
|
Karl
has read
|
|
“I remained a socialist for several years, even after my rejection of Marxism; and if there could be such a thing as socialism combined with individual liberty, I would be a socialist still. For nothing could be better than living a modest, simple, and free life in an egalitarian society. It took some time before I recognized this as no more than a beautiful dream; that freedom is more important than equality; that the attempt to realize equality endangers freedom; and that, if freedom is lost, there will not even be equality among the unfree.”
― Unended Quest: An Intellectual Autobiography
― Unended Quest: An Intellectual Autobiography
“It is complete nihilism to propose laying down arms in a world where atom bombs are around. It is very simple: there is no way of achieving peace other than with weapons.”
― The Lesson of this Century: With Two Talks on Freedom and the Democratic State
― The Lesson of this Century: With Two Talks on Freedom and the Democratic State
“Formal mathematics is nature's way of letting you know how sloppy
your mathematics is.”
― Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
your mathematics is.”
― Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Goodreads Librarians Group
— 303257 members
— last activity 0 minutes ago
Goodreads Librarians are volunteers who help ensure the accuracy of information about books and authors in the Goodreads' catalog. The Goodreads Libra ...more


















