Home
Shorts

Computable

12:59

The Boundary of Computation

Mutual Information

1.1M views

16:09

A Formal Notion of Computability

Junferno

149K views

0:31

Computable Meaning

SDictionary

532 views

13:01

Roger Penrose: "Consciousness must be beyond computable physics."

New Scientist

494K views

4:25

Computable Language Functions

Nathaniel del Mundo

1.5K views

27:03

Computable analysis for verified exact real computation

FSTTCS 2020

115 views

1:09:00

From Computable Numbers to Curing Cancer : Supercomputing and the Frontiers of Human Discovery

Université Versailles Saint-Quentin-en-Yvelines (UVSQ)

170 views

7:57

Proving Computability and Noncomputability

David Evans

4.3K views

51:58

Computable philosophy #RB21

Robustly Beneficial

362 views

17:25

The Q-Tek | Is the universe computable?

Rihab Hoceini

17 views

54:53

Three Problems in Computable Probability Theory

Simons Institute

591 views

1:01:03

Christos Papadimitriou: The Origin of Computable Numbers -- A Tale of Two Classics

princetonacademics

3.2K views

58:19

Prof. Scott Aaronson - Quantum Computing and the Limits of the Efficiently Computable

The University of Edinburgh

11K views

51:00

1x08 — Kyle Geske — On Computable Numbers

Papers We Love — Winnipeg

642 views

27:03

Computable Analysis and Exact Real Computation in Coq

Holger Thies

68 views

5:44

Scott on inventing the Logic of Computable Functions to win an argument with Christopher Strachey.

Turing Awardee Clips

267 views

30:32

Computable Real Numbers and Why They Are Still Important Today

Association for Computing Machinery (ACM)

2.7K views

11:18

Theory of Computation: Partially Computable and Computable Functions (Part 01)

vkedco

7.7K views

42:08

On computable numbers, with an application to the Entscheidungsproblem - Papers We Love #011

Engineers.SG

4.6K views