Quantum computing and undecidability

Quantum Test Found For Mathematical Undecidability
''Philosophers have long wondered at the profound link between mathematics and physics, but how deep does this connection go? Pretty deep according to the results of a quantum experiment exploring the nature of mathematical undecidability. Here's how: any logical system must be based on axioms, which are propositions that are defined to be true.'' [source]

Chaitin's algorithmic complexity
[source, source]