影像学

[{"title":"（ 93 个子文件 396KB ） 影像学","children":[{"title":"googology-master","children":[{"title":"2019","children":[{"title":"Y_Sequence_Hexirp_Edition_2.1.txt <span style='color:#111;'> 21.76KB </span>","children":null,"spread":false},{"title":"Variants_of_TWH.txt <span style='color:#111;'> 3.60KB </span>","children":null,"spread":false},{"title":"DPN_Form_1.png <span style='color:#111;'> 34.55KB </span>","children":null,"spread":false},{"title":"Y_Sequence_Hexirp_Edition_1.1.1.txt <span style='color:#111;'> 21.83KB </span>","children":null,"spread":false},{"title":"Analysis_of_BMS.txt <span style='color:#111;'> 60.54KB </span>","children":null,"spread":false},{"title":"DPN_Form_2.png <span style='color:#111;'> 20.14KB </span>","children":null,"spread":false},{"title":"Bachmann_psi_recasted_by_Rathjen.hs <span style='color:#111;'> 9.67KB </span>","children":null,"spread":false},{"title":"first_half_of_2019.md <span style='color:#111;'> 11.48KB </span>","children":null,"spread":false},{"title":"Memo_of_Rathjen_psi.txt <span style='color:#111;'> 4.86KB </span>","children":null,"spread":false},{"title":"Memo_of_Ordinal_Diagram.txt <span style='color:#111;'> 1.61KB </span>","children":null,"spread":false},{"title":"Definition_of_Y_Sequence.txt <span style='color:#111;'> 406B </span>","children":null,"spread":false},{"title":"Bashicu.hs <span style='color:#111;'> 3.77KB </span>","children":null,"spread":false},{"title":"Y_Sequence_Hexirp_Edition_0.0.txt <span style='color:#111;'> 19.12KB </span>","children":null,"spread":false},{"title":"Y_Sequence_Hexirp_Edition_2.0.txt <span style='color:#111;'> 22.22KB </span>","children":null,"spread":false},{"title":"Extensions_of_Hyperoperation.txt <span style='color:#111;'> 16.06KB </span>","children":null,"spread":false},{"title":"Programming_in_Googology.txt <span style='color:#111;'> 1.29KB </span>","children":null,"spread":false},{"title":"2019-12-30_Factorial_of_ordinal.txt <span style='color:#111;'> 2.45KB </span>","children":null,"spread":false},{"title":"Reading_Googologic_Haunted_House_Number.txt <span style='color:#111;'> 9.18KB </span>","children":null,"spread":false},{"title":"Reading_Ordinal_Notations_Based_on_a_Weakly_Mahlo_Cardinal.txt <span style='color:#111;'> 16.62KB </span>","children":null,"spread":false},{"title":"Memo_of_p-adic_daisuki_bot_loyality_collapsing_function.txt <span style='color:#111;'> 10.51KB </span>","children":null,"spread":false},{"title":"2019-12-03_Y_Sequence_Thesis.txt <span style='color:#111;'> 1.36KB </span>","children":null,"spread":false},{"title":"Analyze_Ordinals_by_Ordinals.txt <span style='color:#111;'> 15.44KB </span>","children":null,"spread":false},{"title":"Analysis_of_BMS_3.txt <span style='color:#111;'> 82.57KB </span>","children":null,"spread":false},{"title":"TransWeakHyper.txt <span style='color:#111;'> 2.18KB </span>","children":null,"spread":false},{"title":"Y_Sequence_Hexirp_Edition_1.1.txt <span style='color:#111;'> 22.07KB </span>","children":null,"spread":false},{"title":"v1.1_1.png <span style='color:#111;'> 40.92KB </span>","children":null,"spread":false},{"title":"Analysis_of_Transfinite_Hyperoperation.txt <span style='color:#111;'> 20.67KB </span>","children":null,"spread":false},{"title":"v1.0_2.png <span style='color:#111;'> 34.93KB </span>","children":null,"spread":false},{"title":"Variants_of_FGH.txt <span style='color:#111;'> 14.15KB </span>","children":null,"spread":false},{"title":"Analysis_of_BMS_2.txt <span style='color:#111;'> 63.49KB </span>","children":null,"spread":false},{"title":"2019-10-30_Found_A_Bug_of_YHSeq.txt <span style='color:#111;'> 1.75KB </span>","children":null,"spread":false},{"title":"Talk_about_ordinal_notations.txt <span style='color:#111;'> 13.86KB </span>","children":null,"spread":false},{"title":"Second_Order_Ordinal_Theory.txt <span style='color:#111;'> 4.55KB </span>","children":null,"spread":false},{"title":"Program_of_TransWeakHyper.hs <span style='color:#111;'> 3.82KB </span>","children":null,"spread":false},{"title":"Analysis_of_i_LoVe_Ordinal.txt <span style='color:#111;'> 64.50KB </span>","children":null,"spread":false},{"title":"cantor_ordinal_in_coq.v <span style='color:#111;'> 12.09KB </span>","children":null,"spread":false},{"title":"Y_Sequence_Hexirp_Edition.txt <span style='color:#111;'> 14.83KB </span>","children":null,"spread":false},{"title":"Variants_of_Brakets.txt <span style='color:#111;'> 3.77KB </span>","children":null,"spread":false},{"title":"Expansion_of_TON.txt <span style='color:#111;'> 7.47KB </span>","children":null,"spread":false},{"title":"Y_Sequence_Hexirp_Edition_1.0.txt <span style='color:#111;'> 19.16KB </span>","children":null,"spread":false},{"title":"Definitions_of_Silane_Number_of_the_2-Modified_4th_Form.txt <span style='color:#111;'> 10.14KB </span>","children":null,"spread":false},{"title":"Hyper.hs <span style='color:#111;'> 1.51KB </span>","children":null,"spread":false},{"title":"Bachmann_psi_recasted_by_Rathjen.txt <span style='color:#111;'> 22.77KB </span>","children":null,"spread":false},{"title":"Analysis_of_Variants_of_TWH.txt <span style='color:#111;'> 27.36KB </span>","children":null,"spread":false},{"title":"v1.0_1.png <span style='color:#111;'> 44.52KB </span>","children":null,"spread":false}],"spread":false},{"title":"2021-02-04_The_Bashicu_Matrix_System_and_Normal_Functions.mediawiki <span style='color:#111;'> 4.59KB </span>","children":null,"spread":false},{"title":"2020","children":[{"title":"2020-07-10_My_Choices.mediawiki <span style='color:#111;'> 2.80KB </span>","children":null,"spread":false},{"title":"2020-05-30_Notebook.mediawiki <span style='color:#111;'> 1.02KB </span>","children":null,"spread":false},{"title":"2020-09-26_TeXclip_and_Copyright.mediawiki <span style='color:#111;'> 1.51KB </span>","children":null,"spread":false},{"title":"2020-11-01_Functional_OCFs.mediawiki <span style='color:#111;'> 4.61KB </span>","children":null,"spread":false},{"title":"2020-05-07_Thinking_about_Googology.mediawiki <span style='color:#111;'> 76B </span>","children":null,"spread":false},{"title":"2020-06-01_Notebook.mediawiki <span style='color:#111;'> 2.63KB </span>","children":null,"spread":false},{"title":"2020-09-19_analysis_of_lambda_zip.lm.txt <span style='color:#111;'> 167B </span>","children":null,"spread":false},{"title":"2020-03-26_What_is_an_insertion_rule.mediawiki <span style='color:#111;'> 9.84KB </span>","children":null,"spread":false},{"title":"2020-06-14_Notebook.mediawiki <span style='color:#111;'> 877B </span>","children":null,"spread":false},{"title":"2020-03-18_Ternary_Parenthesis.txt <span style='color:#111;'> 2.52KB </span>","children":null,"spread":false},{"title":"2020-07-17_Analysis_of_lambda_3.mediawiki <span style='color:#111;'> 10.07KB </span>","children":null,"spread":false},{"title":"2020-05-22_Kajogaki.mediawiki <span style='color:#111;'> 4.84KB </span>","children":null,"spread":false},{"title":"2020-10-14_Originality_of_YH_Sequence_System.mediawiki <span style='color:#111;'> 1.03KB </span>","children":null,"spread":false},{"title":"2020-07-09_YH_Sequence_System.mediawiki <span style='color:#111;'> 26.44KB </span>","children":null,"spread":false},{"title":"2020-05-16_Toward_a_Definition_of_an_Ordinal_Notation_with_Weakly_Mahlo_Cardinals.mediawiki <span style='color:#111;'> 6.00KB </span>","children":null,"spread":false},{"title":"2020-05-05_Consistency_Strength_of_pCIC.mediawiki <span style='color:#111;'> 2.97KB </span>","children":null,"spread":false},{"title":"2020-09-05_Buchmann's_function_recasted_by_Rathjen.mediawiki <span style='color:#111;'> 8.77KB </span>","children":null,"spread":false},{"title":"2020-05-03_Computable_Function_and_Typed_Lambda_Calculus.mediawiki <span style='color:#111;'> 15.45KB </span>","children":null,"spread":false},{"title":"2020-04-04_Analysis_of_Bashicu_Matrix_System.mediawiki <span style='color:#111;'> 154.79KB </span>","children":null,"spread":false},{"title":"2020-07-02_DPN_Form.html <span style='color:#111;'> 1.35KB </span>","children":null,"spread":false},{"title":"2020-08-22_Why_I_do_not_use_Math.mediawiki <span style='color:#111;'> 3.28KB </span>","children":null,"spread":false},{"title":"2020-06-26_Analysis.mediawiki <span style='color:#111;'> 9.21KB </span>","children":null,"spread":false},{"title":"2020-07-03_Infinite_Loop_of_Y_Sequence_Hexirp_Edition_2.1.mediawiki <span style='color:#111;'> 5.39KB </span>","children":null,"spread":false},{"title":"2020-04-07_What_is_crossing_necks.mediawiki <span style='color:#111;'> 1.63KB </span>","children":null,"spread":false},{"title":"2020-04-17_A_Scribbling.mediawiki <span style='color:#111;'> 4.39KB </span>","children":null,"spread":false},{"title":"2020-07-26_Catching_Cardinal.mediawiki <span style='color:#111;'> 385B </span>","children":null,"spread":false},{"title":"2020-05-05_What_is_I_WIN.mediawiki <span style='color:#111;'> 1.63KB </span>","children":null,"spread":false},{"title":"2020-04-10_What_is_6.mediawiki <span style='color:#111;'> 4.08KB </span>","children":null,"spread":false},{"title":"2020-05-06_Impredicativity_and_Type_Theory.mediawiki <span style='color:#111;'> 4.65KB </span>","children":null,"spread":false},{"title":"2020-10-23_What_is_the_best_way_to_write_Mr._Rathjen%27s_name_in_Japanese%3F.mediawiki <span style='color:#111;'> 18.99KB </span>","children":null,"spread":false},{"title":"2020-11-20_ordinal_collapsing_functions_with_Shifting_Definition.mediawiki <span style='color:#111;'> 12.69KB </span>","children":null,"spread":false},{"title":"2020-08-27_the_Brilliance_Life_Number.mediawiki <span style='color:#111;'> 6.76KB </span>","children":null,"spread":false},{"title":"2020-08-27_Outer_Notation_of_YHSS.mediawiki <span style='color:#111;'> 1.04KB </span>","children":null,"spread":false},{"title":"2020-05-15_Memo_of_Strong_Normalization_for_the_Calculus_of_Construction.mediawiki <span style='color:#111;'> 2.43KB </span>","children":null,"spread":false},{"title":"2020-10-06_an_analysis_of_BMS_4.mediawiki <span style='color:#111;'> 26.07KB </span>","children":null,"spread":false},{"title":"2020-08-22_Handwritten_Harvard_Referencing.mediawiki <span style='color:#111;'> 2.01KB </span>","children":null,"spread":false},{"title":"2020-03-15_Ternary_Parenthesis.txt <span style='color:#111;'> 2.00KB </span>","children":null,"spread":false},{"title":"2020-11-08_Systematic_Naming_to_Ordinal_Numbers.mediawiki <span style='color:#111;'> 1.85KB </span>","children":null,"spread":false},{"title":"2020-06-02_Notebook.mediawiki <span style='color:#111;'> 1.60KB </span>","children":null,"spread":false},{"title":"2020-04-06_Estimate_the_Analysis.mediawiki <span style='color:#111;'> 2.83KB </span>","children":null,"spread":false},{"title":"2020-06-03_Notebook.mediawiki <span style='color:#111;'> 1.26KB </span>","children":null,"spread":false},{"title":"2020-08-27_YHSS_2.0.1_is_completed.mediawiki <span style='color:#111;'> 1.42KB </span>","children":null,"spread":false},{"title":"2020-09-19_analysis_of_lambda_zip.mediawiki <span style='color:#111;'> 18.12KB </span>","children":null,"spread":false},{"title":"2020-05-31_Notebook.mediawiki <span style='color:#111;'> 1.51KB </span>","children":null,"spread":false},{"title":"2020-07-08_Y_Sequence.mediawiki <span style='color:#111;'> 11.06KB </span>","children":null,"spread":false},{"title":"2020-08-09_YHSS_3.0_Expansion_Examples.mediawiki <span style='color:#111;'> 3.45KB </span>","children":null,"spread":false},{"title":"2020-04-17_Ordinal_Notation_associated_with_Veblen_Hierarchy.mediawiki <span style='color:#111;'> 19.19KB </span>","children":null,"spread":false}],"spread":false}],"spread":true}],"spread":true}]