logicians

As spacehome points out, that advice is a logical contradiction (and therefore not particularly suitable for logicians).

If we are being charitable by everyone he means mathematicians, and perhaps logicians, maybe even philosophers, I still think it's quite a broad statement.

However, post-Roman Christians were keen logicians and experimenters who laid the foundation of the modern sciences.

The framers were not logicians and the Constitution was not an exercise in formal consistency.

That's what turned the department around and finally pushed the logicians into the background.

Physicists seem very hand-wavey to mathematicians, and mathematicians seem very hand-wavey to logicians.

My preferred way to view it is as logicians studying a really fascinating new logical system and seeing how far they can push it.

Strong algebraic geometers are not necessarily strong analysts or algebraists or logicians.

I like this puzzle because it's the same train of thought as this old joke: Three logicians walk into a bar.

So I don't think there is any sharp distinction between programming and what logicians do.

It's generally left to logicians and philosophers of mathematics (two tribes which, while not coextensional, have a rather large intersection) to worry about these things.

I went through Stanford CS when the top-down logicians were in charge of AI.

The point is that "correct usage" is not defined by logicians or etymologists or any kind of authority, but by society as a whole, and therefore has no one exact definition.

The logicians were in denial about this for a long time, which resulted in the "AI winter" from 1985 to 2000 or so.

Actually the recent movement of "Homotopy Type Theory" is gaining some traction among non-logicians, giving easier formulations and proofs in category theory and topology.

"Functor" was appropriated from an established term that was in use by logicians and linguists.

And it's not at all uncommon for a Mathematics department to have exactly zero Logicians.

Logicians like Turing, Church, and Gödel gave us computers.