![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
guslWho is Robert Bishop Jones?
His factastic website focuses on philosophy, mathematical and philosophical logic, automated reasoning and transhumanism (see their bibliography). Its funny and colorful design and its exuberant visionary-ism make it looks a bit "crazy"er than it already is. Kinda like TUNES in the old days.
I like its focus on important questions about the human condition, meta-philosophy and AI.
It used to be a powerful attractor in my websurfing, but either its PageRank has taken a beating, or my search terms have changed. Maybe both.
Since![[livejournal.com profile]](https://www.dreamwidth.org/img/external/lj-userinfo.gif)
fare (the mind behind TUNES) turned out to be such an interesting guy, I'd be very curious to meet RBJ.
---
Today, rbj led me to this quote:
I don't know the context, but I suspect I'll use this someday soon, when arguing with the type theorists about proof rigour.
His factastic website focuses on philosophy, mathematical and philosophical logic, automated reasoning and transhumanism (see their bibliography). Its funny and colorful design and its exuberant visionary-ism make it looks a bit "crazy"er than it already is. Kinda like TUNES in the old days.
I like its focus on important questions about the human condition, meta-philosophy and AI.
It used to be a powerful attractor in my websurfing, but either its PageRank has taken a beating, or my search terms have changed. Maybe both.
Since
fare (the mind behind TUNES) turned out to be such an interesting guy, I'd be very curious to meet RBJ.---
Today, rbj led me to this quote:
<< But ordinary language is all right.
— Ludwig Wittgenstein (1958: 28)>>
I don't know the context, but I suspect I'll use this someday soon, when arguing with the type theorists about proof rigour.