Conjuntos de Programa – Fundamentos da Computação

Autor: Dr. Italo Vega (líder do GEMS)

Data: 18/02/2020

Sessão: Planejamento

GEMS 375– TIDD/Depto de Computação/PUCSP

No primeiro encontro deste ano, apresentei uma formalização para mostrar que a maior parte das funções não é computável. Tal resultado pressupõe que uma função é dita computável, caso exista um programa que calcule a imagem de qualquer elemento do seu domínio. O que se pode afirmar a respeito de uma computação quântica, então?