. . . "The lengths of proofs: Kreisel\u2019s conjecture and G\u00F6del\u2019s speed-up theorem" . "158" . . "1"^^ . "The lengths of proofs: Kreisel\u2019s conjecture and G\u00F6del\u2019s speed-up theorem"@en . . . . . "RIV/67985840:_____/09:00422281" . "[F65A407F1692]" . "The lengths of proofs: Kreisel\u2019s conjecture and G\u00F6del\u2019s speed-up theorem" . "US - Spojen\u00E9 st\u00E1ty americk\u00E9" . "RIV/67985840:_____/09:00422281!RIV14-AV0-67985840" . . "We collect and compare several results that have been obtained so far in the attempts to prove a statement conjectured by Kreisel about the lengths of proofs. We also survey several results regarding a speed-up theorem announced by G\u00F6del in an abstract published in 1936, Finally, we connect this to Kreisel\u2019s conjecture." . . "P(IAA1019401), Z(AV0Z10190503)" . "The lengths of proofs: Kreisel\u2019s conjecture and G\u00F6del\u2019s speed-up theorem"@en . "5" . "We collect and compare several results that have been obtained so far in the attempts to prove a statement conjectured by Kreisel about the lengths of proofs. We also survey several results regarding a speed-up theorem announced by G\u00F6del in an abstract published in 1936, Finally, we connect this to Kreisel\u2019s conjecture."@en . "19"^^ . "1"^^ . . "Kreisel Georg; G\u00F6del"@en . . "Journal of Mathematical Sciences" . . "1072-3374" . . . "Cavagnetto, Stefano" . "10.1007/s10958-009-9408-0" . "323564" . .