Anas Al-Hassani

Faible serviteur des Deux Présences.

[Anas Al-Hassani @saqrhachimi]

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)

[Anas Al-Hassani @saqrhachimi]

@ex__Fury نِعم الشرح شرح البكري حفظه الله و هو من أحسن ما وقفنا عليه في هذا الباب، أما نحن فنفك الألفاظ و نبين المسائل و نوضح مخارجها دون إكثار أو تدفق في الغوامض التي لا تنفع أهل بلادنا (فرنسا)

[Anas Al-Hassani @saqrhachimi]

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

[Anas Al-Hassani @saqrhachimi]

@Lucxas_tv @3enenipelo_ À deux doigts de découvrir la présomption d'innocence...

[Anas Al-Hassani @saqrhachimi]

📌 Lien Al-Yaquta : https://t.co/CmbjlD5ika

📌 Lien Sharḥ At-Taftazānī sur Nassafiya (en cours) : https://t.co/tui7F84nQ4

[Anas Al-Hassani @saqrhachimi]

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.

[Anas Al-Hassani @saqrhachimi]

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).

[Anas Al-Hassani @saqrhachimi]

- 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é.

[Anas Al-Hassani @saqrhachimi]

@True_Univalence @sarenarde @ishraqilab Oui c'était bien mes pseudos, mais pour être franc aucun souvenir je ne te cache pas

[Anas Al-Hassani @saqrhachimi]

@True_Univalence @sarenarde @ishraqilab nature du Coran et stop pas besoin d'ouvrir godel pas godel

[Anas Al-Hassani @saqrhachimi]

@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

[Anas Al-Hassani @saqrhachimi]

@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

[Anas Al-Hassani @saqrhachimi]

@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

[Anas Al-Hassani @saqrhachimi]

@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 à

[Anas Al-Hassani @saqrhachimi]

@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

[Anas Al-Hassani @saqrhachimi]

@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