What we're about

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:

• Information as a physical entity, entropy and life (http://fizyk.ifpk.pk.edu.pl/~rkycia/seminars/ComplexityExplorers5_12_2019.pdf) - 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" (https://www.slideshare.net/MarcinStpie/information-as-a-physical-entity-entropy-and-life-complexity-explorers-krakow)

• Zero-knowledge proofs (https://github.com/arielgabizon/Lectures/blob/master/KrakowJuly2019ZK.pdf) - With Ariel Gabizon. Examples, from interactive to non-interactive, elliptic curves, homomorphic encryption, Zero-knowledge contingent payment.

• Natural born algorithms (https://www.slideshare.net/MarcinStpie/cek-natural-born-algorithms-complexity-explorers-krakow) - Digital Philosophy. Turing complete cellular automatons. Seth Lloyd's Universe as a computer.

• Computing Chaitin's Omega (https://www.slideshare.net/MarcinStpie/computing-chaitins-omega-complexity-explorers-krakow) - Algorithmic Information Theory vs principle of sufficient reason

• Limits of AI. The Gödelian argument (https://www.slideshare.net/MarcinStpie/limits-of-ai-the-gdelian-argument-complexity-explorers-krakow) - Incompleteness theorems, Penrose's examples, Aaronson's classification

• Randomness from determinism (https://www.slideshare.net/MarcinStpie/randomness-from-determinism-complexity-explorers-krakow) - cellular automaton, S. Wolfram's rule 30, pseudo randomness

• Inspiration for the group (https://www.slideshare.net/MarcinStpie/complexity-explorers-krakow-computer-science-philosophy) - inspiration, audience, format, rules, possible topics

Past events (6)

Information as a physical entity, entropy and life

Coworking Rynek Główny 28

Zero-knowledge proof

Coworking Rynek Główny 28

Natural Born Algorithms

Coworking Rynek Główny 28

Computing Chaitin’s Omega

Coworking Rynek Główny 28

Photos (11)

Find us also at