1 “...Computational Logic & Human Thinking...”

2 “... of formal languages and focuses on the cognitive impact of formal languages on human reasoning, drawing...”

3 “... can describe and predict human behavior in the lab, it remains unclear how these models can scale...”

4 “... be automatically proved or disproved with little or no human intervention. This approach to proving theorems...”

5 “... long-range connections. At a similar time, it was observed in human social and sexual networks...”