Many of our field's greatest contributions to date are due to the perpetual nagging of pedantic zealots who condemn the laxness of other mathematicians accepting aesthetic brevity as a permissible excuse for unspecified leaps in reasoning.
The history of logic is a completely uninterrupted episode of crisis in replication, where the creative genius of intuition is targeted for termination as we insist upon rigorous definitions and disciplined mechanistic proof as the official workhorses while only regarding the art of surreal hypothesis divination and strongarmed notational analogies as just temporarily embarrassing stopgaps until we can tease out the procedure for automating the prodigies while managing the resultant verbosity of minutely incremental 'drudgery' through the factorization of symmetry/redundancy and begin the descent into madness of hierarchies of meta proof and possibilities of hypercomputation.
Maybe this is out of envy against the more naturally gifted such as Ramanujan, or rather out of desire to retire to the beach someday without neglecting one's responsibility in the search for ultimate knowledge, but more likely just the practicality of desiring an objective reality check when the deepest dives into the abyss of specialization and abstraction render oneself completely lonely and isolated from the checks and balances of haphazard social consensus in peer review or even the _physical_ universe's fairly arbitrary and low-precision demands in constraining and verifying empirical modeling/prediction that more casual disciplines such as sociology or physics typically set as the highest caliber of evidence.
The history of logic is a completely uninterrupted episode of crisis in replication, where the creative genius of intuition is targeted for termination as we insist upon rigorous definitions and disciplined mechanistic proof as the official workhorses while only regarding the art of surreal hypothesis divination and strongarmed notational analogies as just temporarily embarrassing stopgaps until we can tease out the procedure for automating the prodigies while managing the resultant verbosity of minutely incremental 'drudgery' through the factorization of symmetry/redundancy and begin the descent into madness of hierarchies of meta proof and possibilities of hypercomputation.
Maybe this is out of envy against the more naturally gifted such as Ramanujan, or rather out of desire to retire to the beach someday without neglecting one's responsibility in the search for ultimate knowledge, but more likely just the practicality of desiring an objective reality check when the deepest dives into the abyss of specialization and abstraction render oneself completely lonely and isolated from the checks and balances of haphazard social consensus in peer review or even the _physical_ universe's fairly arbitrary and low-precision demands in constraining and verifying empirical modeling/prediction that more casual disciplines such as sociology or physics typically set as the highest caliber of evidence.