Inductive heating works by first showing that your oven can be made zero degrees above ambient, then, assuming that it's at n degrees, showing how it can be made n+1 degrees
@amy Induction fails to go through when you reverse what direction the cable's coiled half way along, though
@amy Coinductive heating works by showing that for any temperature n+1, there is a way your oven can get that hot starting at temperature n.
@amy slow clap Bravo! Bravo!
@amy Does this mean that induction heating doesn't work if you don't assume the Axiom of Choice?
@TonyaMarie @amy i think you can get around that by first proving that the desired temperature exists
@amy
Seductive heating works by showing that your oven is really, really hot.
@amy Perfect!
I reckon solar cooking would be deductive heating then, since it is taking generally available heat and producing a specific hotspot from it.
@amy I got a real facepalm out of my partner with this. 
Great work!
@amy That sounds dangerous.
Wouldn’t you rather use a decaying increase? T→∞ isn’t so healthy 🙂
@amy Do you have to build in a loop so it can be made n+1 degrees for n=n+1 repeatedly, or does it do that by itself?
@amy induction has always hurt my head, much like an oven can hurt your hand.
@amy My oven works by first asserting that it can't be heated to the correct temperature, and then showing how this is logically impossible