How about adding Theoretical Computer Science and AI to the description of the Set Theory, Logic, etc. Math sub-forum? I've been posting some threads there as that seemed to be the most appropriate place. But this subject seems sort of lost there. We might get more interesting discussion of these topics if they seemed to actually "belong" someplace in PF. (I suppose they could go down in the Technology area, but they don't really belong in any of the existing sub-forums there. I think the Set Theory-Logic area seems more comfortable.)(adsbygoogle = window.adsbygoogle || []).push({});

**Physics Forums | Science Articles, Homework Help, Discussion**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Theoretical computer science

**Physics Forums | Science Articles, Homework Help, Discussion**