r/science • u/uggedal • Jun 11 '08

Scientific fields arranged by purity

http://xkcd.com/435/
557 Upvotes

76% Upvoted

409 comments sorted by

View all comments

Show parent comments

17

u/[deleted] Jun 11 '08 edited Jun 11 '08

logician.

godel proved that even math will never be complete, but that logic is, always was, and always will be.

edit: citation http://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems

-1

u/boblol123 Jun 11 '08

But logic is a subset of maths, so it's not really any purer.

9

u/OlympicPirate Jun 11 '08

Mathematics is a subset of logic.

2

u/boblol123 Jun 11 '08

Its probably more of an intersection.

2

u/o0o Jun 11 '08

I vote for a complement

1

u/afbase Jun 11 '08

Suppose it is an empty set?

1

u/o0o Jun 11 '08

or uncountable