Je vous rassure, Al-Mili et son innovation ont disparue, la Voie Tijanniyah et la Sunnah subsistent 😀
Jusqu'à aujourd'hui, notre région s'illumine par le nombre d'écoles coraniques, de madariss, etc dirigés par des Tijanis
(Qq. savants contemporains Tijani de la région)
@ex__Fury نِعم الشرح شرح البكري حفظه الله و هو من أحسن ما وقفنا عليه في هذا الباب، أما نحن فنفك الألفاظ و نبين المسائل و نوضح مخارجها دون إكثار أو تدفق في الغوامض التي لا تنفع أهل بلادنا (فرنسا)
Au nom d'Allah
Nous avons commencé l'explication d'un texte des plus importants dans l'étude de ʿIlm al-Kalām et qui est le Sharḥ d'At-Taftazānī sur les croyances d'An-Nassafi.
Et ce après avoir terminé la série sur Al-Yaquta (suffit pour le minimum necessaire)
Sur Youtube
Rendre visite à un malade : il est rapporté que cela équivaut à visiter tous les malades musulmans.
Être généreux envers sa famille : il est rapporté que celui qui élargit ses dépenses pour sa famille ce jour-là, Allah l’élargira durant toute son année.
Nous sommes, et selon toute vraisemblance, la nuit de 'Ashoura.
Liste de quelques sunnân se rattachant à ce jour :
- Jeûner; certains compagnons (qu’Allah les agrée) considéraient qu’il était obligatoire de le jeûner, parmi eux l’imam Ali (qu’Allah honore son visage).
- Passer la main sur la tête d’un orphelin : il est rapporté qu’une récompense est inscrite pour chaque cheveu touché.
- Offrir le repas de rupture à un jeûneur : il est rapporté que cela équivaut à nourrir toute une communauté.
@True_Univalence@sarenarde@ishraqilab pcq la problématique de base (de laquelle on s'ecarte) c'est uniquement le Coran est un texte fini mais portant en lui la representations de sens infinis, un LLM étant naturellement fini ne peut inclure une infinit. de chemins de representations donc ne peut former un texte de la
@True_Univalence@sarenarde@ishraqilab Oue c'est forcé, mais justement PA inclu conserve tjr l'encodage de M0, c jute un enrichissement de son méta-langage, l'idée reste : M0 étant donné il existe T* qui formalise son comportement, l'ajout de PA permet de traiter T* mais il continue de formaliser le comportement de M0
@True_Univalence@sarenarde@ishraqilab S = {sens valide du Coran}, |S| infini
LLM fixé ~ M -> T* (T* = PA+ Enc(M))
T* formel; cohérente; donc selon Godel -> T* incomplète
Et c'est là le saut un peu osé et pas rigoureux :
T* incomplète, on peut sans trop se tromper penser, que le llm ne pourra pas recouvrir S
@True_Univalence@sarenarde@ishraqilab Bah en incluant PA dans T* elle est au moins aussi expressive (et donc hérite de ses capacité à representer les fct récursives) sans pour autant que T* perde sa representabilité de M0 et donc relativement du LLM
Le lien avec le Coran est pas du tout rigoureux mais ça ressemble à
@True_Univalence@sarenarde@ishraqilab En vrai faudrait prendre en concret, et si ça marche alors on pourra faire l'approx (en tant que musulmans qui assument l'hypothese infinie des sens) LLM ~-> T* et godel sur T* pr ça
Mais bon je concède l'artificialité et que c'est un peu "forcée" mais ça reste interessant àvoir
@True_Univalence@sarenarde@ishraqilab Pour Curry Howard ct pas vraiment pertinent, faudrait une couche formelle en plus, mais a partir du moment ou on approxime LLM par T* on peut s'arrêter là et en discuter.. après faut vérifier comme t'a dit dans 4/ si elle est cohérente et récursivement axiomatisable