- #1
gnome
- 1,041
- 1
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.)