This page is in the section Part One: Taking rationalism seriously,

which is in In the Cells of the Eggplant.

☞ The next page in this section is Reference: rationalism’s reality problem.

☜ The previous page is When will you go bald?.

General explanation: Meaningness is a hypertext book. Start with an appetizer, or the table of contents. Its “metablog” includes additional essays that are not part of the book.

To hear about new content, **subscribe** to my email newsletter, follow me on Twitter, use the RSS feed, or see the list of recent pages.

Click on terms with dotted underlining to read a definition.

The book is a work in progress; pages marked ⚒︎ are under construction.

## Comments

## Usualness, adversaries, row hammer

Reading footnote 4 reminded me of row hammer - a security exploit in DRAM that flips normally-inaccessible bits in memory by repeatedly accessing physically nearby rows of memory, thereby using charge leakage. I think that usualness conditions become particularly fraught when there’s an adversary out there who’s deliberately looking for exceptions to the conditions, in order to exploit them.

## Some missing graphs in Overdriving approximation

The first couple of graphs seem to be missing, I see this:

Graphed, this is a straight line:

[linear graph]

The model is not absolutely true. For small enough positive or negative

## Missing graphs

Ah, thanks for pointing that out… I need to figure out what program to use to make the plots, learn to use it, and make them, and I keep putting that off!

## Math and formal logic

Can you explain a bit more why someone might consider mathematics to be superior to formal logic. Doesn’t Godelian incompleteness put logic and math in the same boat–with symbolic logic having been the tool of choice in the last bravest effort to salvage math from ontological nebulosity?

## Calculus rules

Well, in theory all of mathematics can be reduced to logic, so logic is strictly more powerful. In practice, that’s unhelpful and (almost) no one does it.

Outside computer science, the math that’s actually used is mostly differential equations and statistics.

## Add new comment