Philosophical Logic

“What Makes a Great Teacher?” Answered by 4 Great Teachers

Ben Orlin - Math with Bad Drawings 30h 2 tweets

Four different (and wise) answers.

Philosophical Logic "“What Makes a Great Teacher?” Answered by 4 Great Teachers", at Math with Bad Drawings. mathwithbaddrawings.com/2020/02/26/wha… pic.twitter.com/tEm0GZ4dz9 30h

1

Type Theory and Propositions | The n-Category Café

Golem.ph.utexas.edu 30h 1 tweets

Philosophical Logic "Type Theory and Propositions", at The n-Category Café. 30h

2

US 'plotted to kill Julian Assange and make it look like an accident'

Mail Online 51h 1 tweets

Assange's QC Edward Fitzgerald, who has previously represented hate preacher Abu Hamza, said an attack inside London's Ecuadorean embassy would have looked like an 'accident'.

2

The 10 Most Disturbing Snowden Revelations

PCMag UK 32h 1 tweets

As Internet activists protest NSA surveillance today, we take a look back at what has them all hot and bothered.

1

Evaluation of the quality of research articles in mathematical journals: how do they do that?

MathOverflow 42h 1 tweets

I would like to know as curiosity how the editorial board or editors* of a mathematical journal evaluate the quality, let's say in colloquial words the importance, of papers or articles. Questio...

Philosophical Logic Q'n re: the evaluation of the quality of research articles in mathematical journals: how do they do that? 42h

2

Data we have and data we want

Womeninlogic.blogspot.com 42h 2 tweets

Women in Logic 2020 is part of “Paris Nord Summer of LoVe 2020 “, a joint event on LOgic and VErification at Université Paris 13, made ...

Philosophical Logic "Data we have and data we want", at the Women in Logic blog. 42h

1

$\Sigma^2_1$ and the Continuum Hypothesis

MathOverflow 3d 1 tweets

This is a follow up to Will Brian's answer to this recent question. In particular, quoting Brian: "In fact, Paul Larson has pointed out to me that the statement "$\phi$ and $\phi^{-1}$ are conjug...

Philosophical Logic Q'n re: Σ^2_1 and the Continuum Hypothesis. mathoverflow.net/questions/3532… #math #logic #SetTheory 3d

1

Should We Teach Coding in High School?

Gödel's Lost Letter and P=NP 3d 1 tweets

Robert Sedgewick and Larry Cuban faced off today in the Wall Street Journal (WSJ) on the issue: Should everyone be taught coding in high school? Today we will discuss their recent comments on this …

Philosophical Logic "Should We Teach Coding in High School?", at Gödel’s Lost Letter and P=NP. 3d

71

Katherine Johnson Dies at 101; Mathematician Broke Barriers at NASA

Margalit Fox - Nytimes.com 3d 42 tweets

She was one of a group of black women mathematicians at NASA and its predecessor who were celebrated in the 2016 movie “Hidden Figures.”

5

The meaning and purpose of "canonical''

MathOverflow 8d 2 tweets

This question is jointly formulated with Neil Barton. We want to know about the significance of canonicity in mathematics broadly. That is, both what it means in some detail, and why it is import...

1

Philosophical Logic Q’n re: the meaning and purpose of "canonical'' in mathematics. 3d

6

The real numbers are not interpretable in the complex field

Joel David Hamkins 3d 2 tweets

Consider the real numbers $\newcommand\R{\mathbb{R}}\R$ and the complex numbers $\newcommand\C{\mathbb{C}}\C$ and the question of whether these structures are interpretable in one another as fields…

Philosophical Logic “The real numbers are not interpretable in the complex field” at Joel David Hamkins’ blog. 3d

1

What's the Most Exciting New Mathematics? | The n-Category Café

Golem.ph.utexas.edu 4d 1 tweets

Philosophical Logic “What's the Most Exciting New Mathematics?” at The n-Category Café. 4d

1

P=NP: A Story

Gödel's Lost Letter and P=NP 4d 1 tweets

The P=NP story without symbols. [ The Movie ] Dr. Strangelove is the classic 1964 movie about the potential for nuclear war between the US and the Soviet Union during the cold war. The film was dir…

Philosophical Logic “P=NP: A Story” at Gödel's Lost Letter and P=NP. 4d

3

What is the Sceptical Solution? / Review of work on the philosophy of mind

SSHAP/JHAP - Society for the Study of the History of Analytical Philosophy 7d 2 tweets

Volume 8.2 of The Journal for the History of Analytical Philosophy (JHAP) has now been published online, with full open-access. It features an article by Alexander Miller entitled, “What is the Sce…

Philosophical Logic “What is the Sceptical Solution? / Review of work on the philosophy of mind”, at the Society for the Study of the History of Analytical Philosophy. 4d

2

The Chinese Room Argument (Stanford Encyclopedia of Philosophy)

Plato.stanford.edu 7d 2 tweets

Philosophical Logic “The Chinese Room Argument”, revised entry at the #SEP. #philosophy 4d

2

Negation (Stanford Encyclopedia of Philosophy)

Plato.stanford.edu 7d 2 tweets

Philosophical Logic “Negation”, revised entry at the #SEP. #philosophy #logic 4d

4

The Computational Theory of Mind (Stanford Encyclopedia of Philosophy)

Plato.stanford.edu 975d 4 tweets

Philosophical Logic “The Computational Theory of Mind”, revised entry at the #SEP. #philosophy 4d