Schlagwort-Archiv: Logik

Thinkoding.

Are programmers biased in terms of spending more time writing code than they do thinking about it?

Yes, the importance of thinking and writing before you code needs to be taught in undergraduate computer science courses and it’s not. And the reason is that there’s no communication between the people who teach programming and the people who teach program verification.

Leslie Lamport

Logic4Peace.

As the world urgently needs more logic and rationality, Logic4Peace creates a platform for logicians from around the world [...]

Logic4Peace: fundraising online Logic event for Peace

Logicalidarity.

The Board of the Dutch Association for Logic and Philosophy of the Exact Sciences (VvL) unconditionally condemns the military aggression by Russia in Ukraine. We stand up against the blatant attack of the Russian government against a sovereign state, against democracy and against innocent people. In these difficult times we express our full solidarity and support to our Ukrainian colleagues.

Het bestuur van de Vereniging voor Logica en Wijsbegeerte van de Exacte Wetenschappen (VvL) veroordeelt de militaire agressie van Rusland in Oekraïne onvoorwaardelijk. Wij staan op tegen de brute aanval van de Russische regering op een soevereine staat, op de democratie en op onschuldige mensen. In deze moeilijke tijden betuigen we onze volledige solidariteit en steun aan onze Oekraïense collega's.

VvL: Statement on the War in Ukraine / Verklaring met betrekking tot oorlog in Oekraïne

Logicalytica.

We want to make sure that something like the Cambridge Analytica scandal cannot happen again. We should not cut down our AI applications, but improve on them and use them for what they are meant for: not to replace us, but to help us.

Sonja Smets, interviewed by Iris Proff (ILLC Blog)

4 xor 2.

"I'm afraid," he said at last, "that the Question and the Answer are mutually exclusive. Knowledge of one logically precludes knowledge of the other. It is impossible that both can ever be known about the same universe."

Douglas Adams: Life, the Universe and Everything

It might be a class, but not the whole.

The set of all people who are confused by set theory might confuse them.

Formalities.

Expect lots of weird symbols and stuff, as the project is on formal logic. 😉

Ramon: New! Fresh! A Blog!

Ältere Beiträge «