About us
This group is set up for learning and discussing anything related to an intersection of Philosophy and Computer Science.
We aim to engage participants in a group conversation to explore a wide range of topics including Complexity Theory, Systems Thinking, Computability, Emergence, Physics, Analytical Philosophy, Economy ...and the rest is just engineering what means we are also interested in searching the space of open-source projects, models and computational experiments. ↓ List of topics discussed so far with links to presentations:
08 • Phenomenon of Agency when we were joined by Michał Nowak, a cognitive psychologist and researcher from Jagiellonian University. An opporunity to dive into the world of Daniel Dennett, add a bit of Algorithmic Information Theory and mix with Cognitive Psychology.
07 • Language models and power laws by Łukasz Dębowski of Institute of Computer Science, Polish Academy of Sciences. The presentation was preceded by introduction by Marcin Stepien with some quotations and findings on language models from Łukasz's book.
06 • Information as a physical entity, entropy and life - With Radosław A. Kycia. Landauer's principle, Galois connections and bits of Category Theory. Also some inspiration from Paul Davies "The Demon in the Machine"
05 • Zero-knowledge proofs - With Ariel Gabizon. Examples, from interactive to non-interactive, elliptic curves, homomorphic encryption, Zero-knowledge contingent payment.
04 • Natural born algorithms - Digital Philosophy. Turing complete cellular automatons. Seth Lloyd's Universe as a computer.
03 • Computing Chaitin's Omega - Algorithmic Information Theory vs principle of sufficient reason
02 • Limits of AI. The Gödelian argument - Incompleteness theorems, Penrose's examples, Aaronson's classification.
Video summary of CEKRK #2
01 • Randomness from determinism - cellular automaton, S. Wolfram's rule 30, pseudo randomness
00 • Inspiration for the group - inspiration, audience, format, rules, possible topics
The group is inspired by activity of Santa Fe Institute but is not an official SFI event.
Upcoming events
1
AI Unlimited. Anti-Gödelian arguments
Yolk Workspace & Community, Ulica Sarego, 5, Kraków, PLOnce we met to contemplate Gödelian anti-mechanist arguments against AI. This time we will turn to the other side of the discourse and include more of what computationalists have in mind.
This meetup will have more of a debate format within in-person disputants including Jarek Duda inventor, assistant professor at Jagiellonian University and Radek Kycia assistant professor, former head of IT dep. at Kraków University of Technology. We will not forget to bring the most compelling classic arguments like refutation of the Penrose-Lucas argument, and at the same time include the latest discoveries to the discussion.
Whether you are a strong AI believer, emergentist, anti-computationalist or dualist come join us on-site! Your perspective is what makes these discussions great, so don't miss out on this face-to-face opportunity to engage with the key concepts and debaters.
For a warm up, see movies and slides from the Limits of AI. Gödelian Argument meetup.
12 attendees
Past events
8
