Italian Costruttivismo matematico Cited by user Nicolò Zanini on 12 Mar 2023 Nella filosofia della matematica, attorno all’espressione costruttivismo si raccolgono una varietà di approcci e programmi di ricerca che, sebbene muovano da…
Chinese 强函数式编程 Cited by user Kb5000 on 18 Oct 2021 强函数式编程(也称为全函数式编程),与之相对的是普通的或者说弱函数式编程。是一种编程范式,它将程序的范围限制为可证明停机的程序。 == 限制 == 在满足下列限制的条件时,程序一定会终止: # 受限制的递归。仅对其参数的“简化”形式进行操作,例如Walther 递归、子结构递归或通过代码的抽象解释证明的“强规范化”。 # 每个函数都必须是全…
Italian Teoria dei tipi intuizionista Cited by user Germanomosconi1 on 18 Nov 2019 La teoria dei tipi intuizionista (nota anche come teoria dei tipi costruttiva o teoria dei tipi di Martin-Löf) è una teoria dei tipi e una fondazione della matematica…